Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi '99, Akademgorodok, Novosibirsk, Russia, July 1999 : Proceedings

International Andrei Ershov Memorial Conference 1999 Akademgorodok, n/ Bjorner, Dines/ Broy, Manfred/ Zamulin, A. V.

ISBN 10: 3540671021 / ISBN 13: 9783540671022

Published by Springer Verlag, 2000

About this Item

1st edition. 540 pages. 9.50x6.25x1.25 inches. In Stock.

Seller Inventory # x-3540671021

Bibliographic Details

• Title: Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi '99, Akademgorodok, Novosibirsk, Russia, July 1999 : Proceedings
• Publisher: Springer Verlag
• Publication Date: 2000
• Language: English
• ISBN 10: 3540671021
• ISBN 13: 9783540671022
• Binding: Paperback
• Condition: Brand New
• Weight: 0.73 kilograms

About this title

Synopsis

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.