Hardware and Software: Verification and Testing - Nir Piterman
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre81,54 €
Produit Neuf
Ou 20,39 € /mois
- Livraison à 0,01 €
- Livré entre le 20 juillet et le 3 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783319262864_dbm
Nos autres offres
-
82,57 €
Produit Neuf
Ou 20,64 € /mois
- Livraison : 3,99 €
- Livré entre le 20 et le 27 juillet
Voir le détail de l'annonce -
83,49 €
Produit Neuf
Ou 20,87 € /mois
- Livraison : 25,00 €
- Livré entre le 3 et le 8 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Hardware And Software: Verification And Testing de Nir Piterman Format Broché - Livre
0 avis sur Hardware And Software: Verification And Testing de Nir Piterman Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Hardware And Software: Verification And Testing de Nir Piterman Format Broché
- Livre
Résumé :
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.
Détails de conformité du produit
Personne responsable dans l'UE