Articles liés à Perspectives of System Informatics: Third International...

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

 
9783540671022: Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi '99, Akademgorodok, Novosibirsk, Russia, July 1999 : Proceedings
Couverture souple
ISBN 10 : 3540671021 ISBN 13 : 9783540671022
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2000

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
2000
Langue
anglais
ISBN 10 
3540671021
ISBN 13 
9783540671022
Reliure
Broché
Nombre de pages
552
Éditeur
Bjørner Dines, Broy Manfred, Zamulin Alexandre V.
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne