Tool Support for System Specification, Development and Verification -
- Format: Broché Voir le descriptif
82,41 €
Produit Neuf
Ou 20,60 € /mois
- Livraison : 3,99 €
- Livré entre le 25 septembre et le 2 octobre
Nos autres offres
-
86,20 €
Produit Neuf
Ou 21,55 € /mois
- Livraison : 25,00 €
- Livré entre le 9 et le 14 octobre
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 Tool Support For System Specification, Development And Verification Format Broché - Livre Informatique
0 avis sur Tool Support For System Specification, Development And Verification Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Practical English Usage. Paperback With Online Access
Neuf dès 59,45 €
-
Complete Book Of Celtic Music For Appalachian Dulcimer
Neuf dès 69,99 €
-
Lucie Rie
Neuf dès 63,15 €
-
Die Eulen Europas
Occasion dès 55,29 €
-
La Sante Interdite
1 avis
Occasion dès 54,33 €
-
Graduale Romanum - Graduale Sacrosanctae Romanae Ecclesiae De Tempore Et De Sanctis Ss. D. N. Pii X. Pontificis Maximi
1 avis
Occasion dès 59,95 €
-
Sensuous Frazetta
Neuf dès 47,88 €
-
New Inspiration Level 1. Student's Book
Neuf dès 48,43 €
-
Adios Une Méthode Hors Du Commun: La Master Thérapie Pour Libérer De Toute Addiction Ou Souffrance
Occasion dès 48,08 €
-
Les Mariés De La Tour Eiffel
Occasion dès 46,31 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
Zoom - H5 - 4 :
Neuf dès 41,99 €
-
Cartier, Splendeurs De La Joaillerie (Collection Joaillerie) (French Edition)
Occasion dès 45,00 €
-
Catafalque
Neuf dès 86,94 €
-
I Want To Spend The Rest Of My Life Everywhere, With Everyone, One To One, Always, Forever, Now
Occasion dès 96,88 €
-
Graine De Crapule
2 avis
Occasion dès 50,00 €
-
Theory Of Ordinary Differential Equations
Occasion dès 65,99 €
-
English Legal System Eighth Edition
Neuf dès 60,59 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Last Time I Drew A Crowd: The Autobiography Of Jim Bentley
Occasion dès 60,00 €
Produits similaires
Présentation Tool Support For System Specification, Development And Verification Format Broché
- Livre Informatique
Sommaire:
Formal Methods and Tools: Introduction and Overview.- Model Elimination with Simplification and its Application to Software Verification.- Applications of the RelView System.- Lutess: A Testing Environment for Synchronous Software.- PAMELA+PVS Verification of Sequential Programs.- ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies.- Formal Verification of Statemate-Statecharts.- Correct Programs without Proof? On Checker-Based Program Verification.- Synchronie Workbench.- The Term Graph Programming System HOPS.- Truth - A Verification Platform for Concurrent Systems.- Tool Integration in the UniForM-Workbench.- An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.- Towards Light-Weight Verification and Heavy-Weight Testing.- SFI: a Feature Integration Tool.- Modular Reasoning about Structured TLA Specifications.- Addresses of Contributors.
Détails de conformité du produit
Personne responsable dans l'UE