Perspectives of System Informatics
Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
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 c…
Mehr
CHF 146.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Broy, Manfred (Hrsg.) / Zamulin, Alexandre V. (Hrsg.)
- ISBN: 978-3-540-46562-1
- EAN: 9783540465621
- Produktnummer: 37193406
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2003
- Seitenangabe: 540 S.
- Plattform: PDF
- Auflage: 2000
- Reihenbandnummer: 1755
10 weitere Werke von Dines (Hrsg.) Bjørner:
Bewertungen
Anmelden