Perspectives of System Informatics by Dines Bjorner & Manfred Broy & A.V. Zamulin

The papers in this volume are organized in sections on: algebraic specifications; partial evaluation and super compilation; specification with states; concurrency and parallelism; logic and processes; languages and software; database programming; object-oriented programming; and many more. This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999.The 44 revised papers presented together with five revised full invited papers were carefully reviewed and selected from a total of 73 submissions. The papers are organized in sections on algebraic specifications, partial evaluation and super compilation, specification with states, concurrency and parallelism, logic and processes, languages and software, database programming, object-oriented programming, constraint programming, model checking and program checking, and artificial intelligence.
`Author(s) :` Dines Bjorner & Manfred Broy	`Format :` Paperback Book
`ISBN-10 :` 3540671021	`ISBN-13 :` 9783540671022
`RRP :` £61.50	`Best available price :` £ / $
`Prices as of : BST check live prices`

store	stock level	item price	inc. delivery
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
Delivery prices - shown in this table - are for the cost of a domestic delivery, as given by the company.

Product Details:

Series Title : Lecture Notes in Computer Science

Country Publication : Germany

Publication Date : 01/01/2000

Publisher : Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Page Length : xii,540mm

Page Size : 230mm