Custom cover image
Custom cover image

Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings / edited by Dines Bjøner, Manfred Broy, Alexandre V. Zamulin

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 1755Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2000Description: Online-RessourceISBN:
  • 9783540465621
Subject(s): Genre/Form: Additional physical formats: 9783540671022 | Buchausg. u.d.T.: Perspectives of system informatics. Berlin : Springer, 2000. XII, 540 S.MSC: MSC: *00B25 | 68-06 | 00B30RVK: RVK: SS 4800LOC classification:
  • QA76.9.L63
  • QA76.5913
  • QA76.63
DOI: DOI: 10.1007/3-540-46562-6Online resources: Summary: 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 intelligencePPN: PPN: 1649365756Package identifier: Produktsigel: ZDB-2-BAE | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SEB | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT