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.
Leider schon ausverkauft
eBook (pdf)
54.99 €
- Lastschrift, 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öße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 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"
Schreiben Sie einen Kommentar zu "Tools and Algorithms for the Construction and Analysis of Systems / Lecture Notes in Computer Science Bd.4963".
Kommentar verfassen