Gesamtpreis (1 Artikel Artikel):
Versandziel:
automated technology verification analysis (101 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (101)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (90)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (7)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (2)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (101)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (63)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24â"27, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good.
-
Automated Technology for Verification and Analysis
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Automated Technology for Verification and Analysis (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new.
-
Automated Technology for Verification and Analysis
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,88
EUR 5,75 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Automated Technology for Verification and Analysis
Verlag: Springer Nature Switzerland, 2025
ISBN 10: 3032087066 ISBN 13: 9783032087065
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 74,39
EUR 6,72 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Automated Technology for Verification and Analysis
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 75,30
EUR 7,44 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 560 Illus.
-
Automated Technology for Verification and Analysis. 4th international symposium ; proceedings.ATVA 2006, Beijing, China, October 23 - 26, 2006. (=Lecture notes in computer science ; Vol. 4218).
Verlag: Berlin, Springer, 2006
Sprache: Englisch
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Wie neu. XIV, 540 S. : Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 920.
-
Automated Technology for Verification and Analysis: 8th International Symposium, Atva 2010, Singapore, September 21-24, 2010, Proceedings
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642156428 ISBN 13: 9783642156427
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,53
EUR 14,31 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 412 pages. 9.10x6.20x0.90 inches. In Stock.
-
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings . / Programming and Software Engineering)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,67
EUR 14,31 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 433 pages. 9.06x6.06x1.02 inches. In Stock.
-
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,77
EUR 14,31 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 450 pages. 9.30x6.20x1.10 inches. In Stock.
-
Automated Technology for Verification and Analysis: 6th International Symposium, Atva 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 354088386X ISBN 13: 9783540883869
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,05
EUR 14,31 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. illustrated edition edition. 444 pages. 9.00x6.00x1.00 inches. In Stock.
-
Automated Technology for Verification and Analysis: 7th International Symposium, Atva 2009, Macao, China, October 14-16, 2009, Proceedings
Verlag: Springer-Verlag New York Inc, 2009
ISBN 10: 3642047602 ISBN 13: 9783642047602
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,05
EUR 14,31 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 414 pages. 9.25x6.00x1.00 inches. In Stock.
-
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture . / Programming and Software Engineering)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,12
EUR 14,31 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 542 pages. 9.20x6.10x1.23 inches. In Stock.
-
Automated Technology for Verification and Analysis: 9th International Symposium, Atva 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642243711 ISBN 13: 9783642243714
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,33
EUR 14,31 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 546 pages. 8.43x5.85x0.73 inches. In Stock.
-
Automated Technology for Verification and Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 2831, 2019, Proceedings
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030317838 ISBN 13: 9783030317836
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,44
EUR 14,31 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 564 pages. 9.25x6.10x1.22 inches. In Stock.
-
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 1923, 2020, Proceedings
Verlag: Springer-Nature New York Inc, 2020
ISBN 10: 3030591514 ISBN 13: 9783030591519
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,86
EUR 14,31 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 574 pages. 9.25x6.10x1.19 inches. In Stock.
-
Automated Technology for Verification and Analysis: 5th International Symposium, Atva 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 3540755950 ISBN 13: 9783540755951
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 83,65
EUR 14,31 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 566 pages. 9.21x6.06x1.34 inches. In Stock.
-
Automated Technology for Verification and Analysis: 16th International Symposium, Atva 2018, Los Angeles, Ca, USA, October 7-10, 2018, Proceedings
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3030010899 ISBN 13: 9783030010898
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 84,01
EUR 14,31 shipping
Ships from Vereinigtes Königreich to USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 500 pages. 9.25x6.10x1.06 inches. In Stock.
-
Automated Technology for Verification and Analysis
Verlag: Springer International Publishing, 2015
ISBN 10: 3319249525 ISBN 13: 9783319249520
Sprache: Englisch
EUR 48,37
EUR 48,99 shipping
Ships from Deutschland to USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Sonderangebot
EUR 7,69
EUR 105,00 shipping
Ships from Deutschland to USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 584 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.
-
Automated Technology for Verification and Analysis
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642156428 ISBN 13: 9783642156427
Sprache: Englisch
Zustand: New. Invited Talks.- Probabilistic Automata on Infinite Words: Decidability and Undecidability Results.- Abstraction Learning.- Synthesis: Words and Traces.- Regular Papers.- Promptness in ?-Regular Automata.- Using Redundant Constraints for Refinement.- Methods.
-
Automated Technology for Verification and Analysis
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2019, 2019
ISBN 10: 3030317838 ISBN 13: 9783030317836
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 564 pp. Englisch.
-
Automated Technology for Verification and Analysis
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2005, 2005
ISBN 10: 3540292098 ISBN 13: 9783540292098
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.
-
Automated Technology for Verification and Analysis
Verlag: Springer International Publishing, Springer International Publishing Sep 2016, 2016
ISBN 10: 3319465198 ISBN 13: 9783319465197
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.
-
Automated Technology for Verification and Analysis
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2020, 2020
ISBN 10: 3030591514 ISBN 13: 9783030591519
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020.The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results.The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.
-
Automated Technology for Verification and Analysis
Verlag: Springer Nature Switzerland, Springer International Publishing Sep 2018, 2018
ISBN 10: 3030010899 ISBN 13: 9783030010898
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.
-
Automated Technology for Verification and Analysis
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2017, 2017
ISBN 10: 3319681664 ISBN 13: 9783319681665
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch.
-
Automated Technology for Verification and Analysis
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2007, 2007
ISBN 10: 3540755950 ISBN 13: 9783540755951
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch.
-
Automated Technology for Verification and Analysis
Verlag: Springer International Publishing, Springer International Publishing Nov 2015, 2015
ISBN 10: 3319249525 ISBN 13: 9783319249520
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.
