Verwandte Artikel zu Automated Technology for Verification and Analysis:...
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings: 11781 (Programming and Software Engineering) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2019
- ISBN 10 3030317838
- ISBN 13 9783030317836
- EinbandTapa blanda
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten564
- HerausgeberChen Yu-Fang, Cheng Chih-Hong, Esparza Javier
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 48,37
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Automated Technology for Verification and Analysis:...
Foto des Verkäufers
Automated Technology for Verification and Analysis
Verlag:
Springer International Publishing, 2019
ISBN 10: 3030317838
ISBN 13: 9783030317836
Neu
Softcover
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 we. Bestandsnummer des Verkäufers 385699798
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis
ISBN 10: 3030317838
ISBN 13: 9783030317836
Neu
Taschenbuch
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. Bestandsnummer des Verkäufers 9783030317836
Anzahl: 2 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28¿31, 2019, Proceedings
ISBN 10: 3030317838
ISBN 13: 9783030317836
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 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. Bestandsnummer des Verkäufers 9783030317836
Anzahl: 1 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis
Verlag:
Springer International Publishing Okt 2019, 2019
ISBN 10: 3030317838
ISBN 13: 9783030317836
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 564 pp. Englisch. Bestandsnummer des Verkäufers 9783030317836
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783030317836_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis : 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28?31, 2019, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 38609013-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis : 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28â"31, 2019, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 38609013-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis : 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28?31, 2019, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 38609013
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Automated Technology for Verification and Analysis : 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28?31, 2019, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 38609013
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28?31, 2019, Proceedings
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND. Bestandsnummer des Verkäufers 18376482170
Anzahl: 4 verfügbar