Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... 20: 4424 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Tools and Algorithms for the Construction and Analysis...
Foto des Verkäufers
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European . Notes in Computer Science, 4424, Band 4424)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Gut. 760 Seiten; 9783540712084.3 Gewicht in Gramm: 2. Artikel-Nr. 880171
Gebraucht kaufen
EUR 17,73
Versand:
EUR 62,30
Von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Tools and Algorithms for the Construction and Analysis of Systems | 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
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 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 | Orna Grumberg (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540712084 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. Artikel-Nr. 102066167
Neu kaufen
EUR 94,65
Versand:
EUR 70,00
Von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Tools and Algorithms for the Construction and Analysis of Systems : 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
Verlag:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540712089
ISBN 13: 9783540712084
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783540712084
Neu kaufen
EUR 114,85
Versand:
EUR 65,26
Von Deutschland nach USA
Anzahl: 2 verfügbar