Share
perspectives of system informatics
Manfred Broy
(Illustrated by)
·
Dines Bjørner
(Illustrated by)
·
Alexandre V. Zamulin
(Illustrated by)
·
Springer
· Paperback
perspectives of system informatics - Bjørner, Dines ; Broy, Manfred ; Zamulin, Alexandre V.
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Friday, July 05 and
Wednesday, July 17.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "perspectives of system informatics"
This text 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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.
