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,28
Frais de port :
EUR 3,68
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,28
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
(2015)
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
Neuf
Couverture souple
Quantité disponible : 5
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur 24761571-n
Acheter neuf
EUR 57,55
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 63,73
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 53,23
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,66
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
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
(2015)
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
Neuf
Couverture souple
Quantité disponible : 5
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur 24761571-n
Acheter neuf
EUR 65,89
Autre devise
Image d'archives
Hardware and Software: Verification and Testing
Edité par
Springer International Publishing AG
(2015)
ISBN 10 : 3319262866
ISBN 13 : 9783319262864
Neuf
Couverture souple
Quantité disponible : 15
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Editor(s): Piterman, Nir. Series: Lecture Notes in Computer Science. Num Pages: 309 pages, 88 colour illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 480. . 2015. Paperback. . . . . N° de réf. du vendeur V9783319262864
Acheter neuf
EUR 73,43
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