Tools and Algorithms for the Construction and Analysis of Systems / Lecture Notes in Computer Science Bd.4963 (PDF)

Name: Tools and Algorithms for the Construction and Analysis of Systems / Lecture Notes in Computer Science Bd.4963
Brand: Springer-Verlag GmbH
SKU: 71564099
Price: 53.49 EUR
Availability: OnlineOnly

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)

Schreiben Sie einen Kommentar zu "Tools and Algorithms for the Construction and Analysis of Systems / Lecture Notes in Computer Science Bd.4963".

Merken

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.

Video

sofort als Download lieferbar

Bestellnummer: 71564099

eBook (pdf) 53.49 €

Download bestellen

Verschenken

26 DeutschlandCard Punkte sammeln

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
eBook Hilfe
Biblio. Angaben / Produktdetails
Download-DRM Infos

Produktinformationen zu „Tools and Algorithms for the Construction and Analysis of Systems / Lecture Notes in Computer Science Bd.4963 (PDF)“

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

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".

Wie funktionieren Bewertungen?

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