Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and AbstractInterpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, staticanalysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification,debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems. 620 pp. Englisch. N� de r�f. du vendeur 9783030112448

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science)

Constantin Enea, Ruzica Piskac

Edit� par Springer 2019-01-11, 2019

ISBN 10 : 3030112446 ISBN 13 : 9783030112448

Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : New. N� de r�f. du vendeur 6666-IUK-9783030112448

Contacter le vendeur

Acheter neuf

EUR 58,80

Autre devise

Frais de port : EUR 18,20

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13�15, 2019, Proceedings

Ruzica Piskac

Edit� par Springer International Publishing, Springer International Publishing, 2019

ISBN 10 : 3030112446 ISBN 13 : 9783030112448

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 20th International Conference on Verification, Model Checking, and AbstractInterpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, staticanalysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification,debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems. N� de r�f. du vendeur 9783030112448

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 32,62

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Verification, Model Checking, and Abstract Interpretation

Enea, Constantin|Piskac, Ruzica

Edit� par Springer International Publishing, 2019

ISBN 10 : 3030112446 ISBN 13 : 9783030112448

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Kartoniert / Broschiert. 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 20th International Conference on Verification, Model Checking, and Abstract&nbspInterpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented togeth. N� de r�f. du vendeur 258911366

Contacter le vendeur