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

 
9783319262864: Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Couverture souple
ISBN 10 : 3319262866 ISBN 13 : 9783319262864
Editeur : Springer, 2015

Synopsis

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.

The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2015
  • ISBN 10 3319262866
  • ISBN 13 9783319262864
  • ReliureBroché
  • Langueanglais
  • Numéro d'édition1
  • Nombre de pages312
  • ÉditeurPiterman Nir
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
9783319262864: Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
EUR 43,66

Autre devise

EUR 17,72 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783319262864: Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
EUR 46,98

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9783319262888: Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Edition présentée

ISBN 10 :  3319262882 ISBN 13 :  9783319262888
Editeur : Springer, 2016
Couverture souple

Résultats de recherche pour Hardware and Software: Verification and Testing: 11th...

Image fournie par le vendeur

Piterman, Nir
ISBN 10 : 3319262866 ISBN 13 : 9783319262864
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 46,98
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2015
ISBN 10 : 3319262866 ISBN 13 : 9783319262864
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783319262864_new

Contacter le vendeur

Acheter neuf

EUR 55,89
Autre devise
Frais de port : EUR 4,75
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Piterman, Nir (EDT)
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 24761571

Contacter le vendeur

Acheter D'occasion

EUR 43,66
Autre devise
Frais de port : EUR 17,72
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Piterman, Nir
Edité par Springer 2015-10, 2015
ISBN 10 : 3319262866 ISBN 13 : 9783319262864
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783319262864

Contacter le vendeur

Acheter neuf

EUR 50,24
Autre devise
Frais de port : EUR 11,29
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Nir Piterman
ISBN 10 : 3319262866 ISBN 13 : 9783319262864
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 51,36
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Nir Piterman
ISBN 10 : 3319262866 ISBN 13 : 9783319262864
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 51,36
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Piterman, Nir (EDT)
Edité par Springer, 2015
ISBN 10 : 3319262866 ISBN 13 : 9783319262864
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 24761571-n

Contacter le vendeur

Acheter neuf

EUR 53,28
Autre devise
Frais de port : EUR 17,84
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Piterman, Nir (EDT)
Edité par Springer, 2015
ISBN 10 : 3319262866 ISBN 13 : 9783319262864
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 24761571-n

Contacter le vendeur

Acheter neuf

EUR 55,58
Autre devise
Frais de port : EUR 17,72
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2015
ISBN 10 : 3319262866 ISBN 13 : 9783319262864
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783319262864

Contacter le vendeur

Acheter neuf

EUR 67,56
Autre devise
Frais de port : EUR 7,09
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Piterman, Nir (EDT)
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 24761571

Contacter le vendeur

Acheter D'occasion

EUR 60,45
Autre devise
Frais de port : EUR 17,84
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 5 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre