Tools and Algorithms for the Construction and Analysis of Systems / Lecture Notes in Computer Science Bd.4963 (PDF)
14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
(Sprache: Englisch)
This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
sofort als Download lieferbar
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Tools and Algorithms for the Construction and Analysis of Systems / Lecture Notes in Computer Science Bd.4963 (PDF)“
This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
Bibliographische Angaben
- 2008, 2008, 520 Seiten, Englisch
- Herausgegeben: C. R. Ramakrishnan, Jakob Rehof
- Verlag: Springer-Verlag GmbH
- ISBN-10: 354078800X
- ISBN-13: 9783540788003
- Erscheinungsdatum: 03.04.2008
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 11 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Tools and Algorithms for the Construction and Analysis of Systems / Lecture Notes in Computer Science Bd.4963"
0 Gebrauchte Artikel zu „Tools and Algorithms for the Construction and Analysis of Systems / Lecture Notes in Computer Science Bd.4963“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Tools and Algorithms for the Construction and Analysis of Systems / Lecture Notes in Computer Science Bd.4963".
Kommentar verfassen