Articles liés à Automated Technology for Verification and Analysis:...
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2019
- ISBN 10 3030317838
- ISBN 13 9783030317836
- ReliureBroché
- Langueanglais
- Nombre de pages564
- ÉditeurChen Yu-Fang, Cheng Chih-Hong, Esparza Javier
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Automated Technology for Verification and Analysis:...
Image fournie par le vendeur
Automated Technology for Verification and Analysis
Edité par
Springer International Publishing, 2019
ISBN 10 : 3030317838
ISBN 13 : 9783030317836
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 385699798
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28¿31, 2019, Proceedings
ISBN 10 : 3030317838
ISBN 13 : 9783030317836
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783030317836
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Automated Technology for Verification and Analysis
Edité par
Springer International Publishing Okt 2019, 2019
ISBN 10 : 3030317838
ISBN 13 : 9783030317836
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783030317836
Quantité disponible : 2 disponible(s)
Image d'archives
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Programming and Software Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783030317836_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Automated Technology for Verification and Analysis
ISBN 10 : 3030317838
ISBN 13 : 9783030317836
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783030317836
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Automated Technology for Verification and Analysis : 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28?31, 2019, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 38609013-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Automated Technology for Verification and Analysis : 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28â"31, 2019, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 38609013-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Automated Technology for Verification and Analysis : 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28?31, 2019, Proceedings
Edité par
Springer, 2019
ISBN 10 : 3030317838
ISBN 13 : 9783030317836
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 38609013
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Automated Technology for Verification and Analysis : 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28?31, 2019, Proceedings
Edité par
Springer, 2019
ISBN 10 : 3030317838
ISBN 13 : 9783030317836
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 38609013
Quantité disponible : Plus de 20 disponibles
Image d'archives
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28?31, 2019, Proceedings
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26376482160
Quantité disponible : 4 disponible(s)