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

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

13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings (Sprache: Englisch)

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

Merken

Mehr zum Inhalt Video

sofort als Download lieferbar

Bestellnummer: 71547798

eBook (pdf) 96.29 €

Download bestellen

Verschenken

48 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.4424 (PDF)“

This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

Bibliographische Angaben

2007, 2007, 740 Seiten, Englisch
Herausgegeben: Orna Grumberg, Michael Huth
Verlag: Springer-Verlag GmbH
ISBN-10: 3540712097
ISBN-13: 9783540712091
Erscheinungsdatum: 05.07.2007

Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.

eBook Informationen

Dateiformat: PDF
Größe: 15 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.4424"

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

Wie funktionieren Bewertungen?

0 Gebrauchte Artikel zu „Tools and Algorithms for the Construction and Analysis of Systems / Lecture Notes in Computer Science Bd.4424“

Zustand	Preis	Porto	Zahlung	Verkäufer	Rating