Zur Startseite wechseln
CHF 0.00
Kategorien
E-Books / Audio-Downloads / Reader
E-Books englisch
Produktbild
Tiziana (Hrsg.) Margaria

Tools and Algorithms for the Construction and Analysis of Systems

7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

Ebook (PDF Format)

This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional veri… Mehr

CHF 153.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails

Weitere Autoren: Yi, Wang (Hrsg.)
  • ISBN: 978-3-540-45319-2
  • EAN: 9783540453192
  • Produktnummer: 37266588
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2003
  • Seitenangabe: 594 S.
  • Plattform: PDF
  • Auflage: 2001
  • Reihenbandnummer: 2031

53 weitere Werke von Tiziana (Hrsg.) Margaria:

Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 126.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 158.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 145.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissimination, Applications Part II
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 135.00
Produktbild
SOFSEM 2017: Theory and Practice of Computer Science
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 94.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 97.00
Produktbild
Service-Oriented Computing - ICSOC 2008
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 153.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 93.50
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 73.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 211.00
Produktbild
Process Design for Natural Scientists
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 120.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 115.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 108.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 88.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 68.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 84.00
Produktbild
Models, Mindsets, Meta: The What, the How, and the Why Not?
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 107.00
Produktbild
Service-Oriented Computing - ICSOC 2008
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 153.00
Produktbild
Services and Visualization: Towards User-Friendly Design
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 100.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 100.00
Produktbild
Correct Hardware Design and Verification Methods
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 126.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 97.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Verification
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 87.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 97.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 85.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 153.50
Produktbild
Software Process Improvement
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 80.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 125.00
Produktbild
Models, Mindsets, Meta: The What, the How, and the Why Not?
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 87.50
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 120.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 130.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 158.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Applications
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 107.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 104.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 100.00
Produktbild
Semantic Web Services Challenge
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 217.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 93.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 77.00
Produktbild
SOFSEM 2017: Theory and Practice of Computer Science
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 115.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 130.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 100.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 116.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 106.50
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 82.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 64.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 94.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 180.50
Produktbild
Process Design for Natural Scientists
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 68.50
Produktbild
Software Process Improvement
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 86.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 118.00
Produktbild
Correct Hardware Design and Verification Methods
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 103.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Ebook (PDF Format)
CHF 82.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Buch
CHF 114.00

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...