Formal methods and semantics. Current trends in theoretical computer science; Vol. 2.. Dieser Artikel ist nicht verfügbar.
Sprache: Englisch
Verlag: Singapore, World Scientific, 2004
- Hardcover
- Gebraucht
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in mit 5 Sternen
AbeBooks-Verkäufer/-in seit 28. Oktober 2009
Nicht verfügbar
Hardcover
Zustand: Gebraucht - Gut
EUR 34,75
Artikelbeschreibung des Verkäufers
627 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. M16196 9789812387837 Sprache: Englisch Gewicht in Gramm: 1100.
Bestandsnummer des Verkäufers 2546737
- Titel
- Formal methods and semantics. Current trends in theoretical computer science; Vol. 2.
- Verlag
- Singapore, World Scientific
- Erscheinungsjahr
- 2004
- Zustand
- Gut
- Einband
- Hardcover
- Sprache
- Englisch
- ISBN-10
- 9812387838
- ISBN-13
- 9789812387837
- Artikelgewicht
- 1.100 Gramm
- Verkäuferkataloge
- AA Varia
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, "Algorithms and Complexity" and "Formal Models and Semantics", reflecting the traditional division of the field.The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.