Articles liés à Hardware and Software: Verification and Testing: 11th...
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Couverture souple
- ÉditeurSpringer
- Date d'édition2015
- ISBN 10 3319262866
- ISBN 13 9783319262864
- ReliureBroché
- Langueanglais
- Numéro d'édition1
- Nombre de pages312
- ÉditeurPiterman Nir
Acheter neuf
Afficher cet article
EUR 54,62
EUR 3,55 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Hardware and Software: Verification and Testing: 11th...
Image fournie par le vendeur
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Edité par
Springer, 2015
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
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 24761571
Quantité disponible : Plus de 20 disponibles
Image d'archives
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Programming and Software Engineering)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020092020
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 24761571-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Programming and Software Engineering)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783319262864
Quantité disponible : Plus de 20 disponibles
Image d'archives
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Pro
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783319262864
Quantité disponible : 10 disponible(s)
Image d'archives
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, 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 ria9783319262864_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 24761571-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Hardware and Software: Verification and Testing
Edité par
Springer International Publishing Okt 2015, 2015
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
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 the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015.The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis. 312 pp. Englisch. N° de réf. du vendeur 9783319262864
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Edité par
Springer, 2015
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
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 24761571
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Edité par
Springer International Publishing, 2015
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
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 the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015.The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis. N° de réf. du vendeur 9783319262864
Quantité disponible : 1 disponible(s)