Perspectives of Systems Informatics / Lecture Notes in Computer Science Bd.2890 (PDF)
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
(Sprache: Englisch)
This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003.
The 55 revised full papers presented were carefully...
The 55 revised full papers presented were carefully...
Leider schon ausverkauft
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Perspectives of Systems Informatics / Lecture Notes in Computer Science Bd.2890 (PDF)“
This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003.
The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.
The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.
Bibliographische Angaben
- 2003, 2003, 572 Seiten, Englisch
- Herausgegeben: Manfred Broy, Alexandre V. Zamulin
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 354039866X
- ISBN-13: 9783540398660
- Erscheinungsdatum: 22.12.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 5.95 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Perspectives of Systems Informatics / Lecture Notes in Computer Science Bd.2890"
0 Gebrauchte Artikel zu „Perspectives of Systems Informatics / Lecture Notes in Computer Science Bd.2890“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Perspectives of Systems Informatics / Lecture Notes in Computer Science Bd.2890".
Kommentar verfassen