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
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
- ÉditeurSpringer
- Date d'édition2015
- ISBN 10 3319262866
- ISBN 13 9783319262864
- ReliureBroché
- Numéro d'édition1
- Nombre de pages312
Acheter neuf
En savoir plus sur cette édition
EUR 56,70
Frais de port :
EUR 3,70
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
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)
Edité par
Springer
(2015)
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar3113020092020
Acheter neuf
EUR 56,70
Autre devise
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 (Lecture Notes in Computer Science) [Paperback ]
Edité par
Springer
(2015)
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
Neuf
Soft Cover
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. This item is printed on demand. N° de réf. du vendeur 9783319262864
Acheter neuf
EUR 64,21
Autre devise
Image d'archives
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
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783319262864_lsuk
Acheter neuf
EUR 52,65
Autre devise
Image d'archives
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Pro
Edité par
Springer 2015-10
(2015)
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
Neuf
PF
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783319262864
Acheter neuf
EUR 49,11
Autre devise
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
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre 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
Acheter neuf
EUR 51,36
Autre devise
Image d'archives
Hardware and Software: Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Edité par
Springer-Verlag New York Inc
(2015)
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
Neuf
Paperback
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Paperback. Etat : Brand New. 312 pages. 9.25x6.10x0.71 inches. In Stock. N° de réf. du vendeur x-3319262866
Acheter neuf
EUR 70,70
Autre devise
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
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre 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
Acheter neuf
EUR 55,99
Autre devise
Image fournie par le vendeur
Hardware and Software: Verification and Testing
Edité par
Springer International Publishing
(2015)
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
Neuf
Kartoniert / Broschiert
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre 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 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 sele. N° de réf. du vendeur 81169244
Acheter neuf
EUR 46,63
Autre devise
Image d'archives
Hardware and Software: Verification and Testing 2015: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science)
Edité par
Springer
(2015)
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
Neuf
Couverture souple
Quantité disponible : 4
Vendeur :
Evaluation vendeur
Description du livre Etat : New. pp. 274. N° de réf. du vendeur 26372800616
Acheter neuf
EUR 114,74
Autre devise
Image d'archives
Hardware and Software: Verification and Testing 2015: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science)
Edité par
Springer
(2015)
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
Neuf
Couverture souple
Quantité disponible : 4
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Print on Demand pp. 274. N° de réf. du vendeur 374326199
Acheter neuf
EUR 112,46
Autre devise