Tool Support for System Specification, Development and Verification -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre82,41 €
Produit Neuf
Ou 20,60 € /mois
- Livraison : 3,99 €
- Livré entre le 20 et le 27 juillet
Nos autres offres
-
88,39 €
Produit Neuf
Ou 22,10 € /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;ria9783211832820_dbm
Voir le détail de l'annonce -
86,20 €
Produit Neuf
Ou 21,55 € /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 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.
-
Culinaria France
Occasion dès 57,00 €
-
500+ Ukrainian Verbs
Neuf dès 66,50 €
-
Liberalism And The Limits Of Justice
Neuf dès 61,74 €
-
Noco Boost Gb40 :
Neuf dès 54,99 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Greek Gods Abroad
Neuf dès 50,25 €
-
Kodak Pixpro Fz55-Bk : (Japanese Edition)
Neuf dès 45,99 €
-
An Anthology Of Graphic Fiction, Cartoons, & True Stories
Occasion dès 45,00 €
-
Introduction To Commutative Algebra
Occasion dès 49,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
Colloquial Ukrainian
Occasion dès 43,19 €
-
Georgia O'keeffe
Occasion dès 105,99 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 75,90 €
-
Collecting Antique Meerschaum Pipes
Neuf dès 55,84 €
-
Ara Guler's Istanbul
Neuf dès 44,30 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
Perfectionnement Allemand (5 Cd Audio)
1 avis
Occasion dès 47,90 €
-
So Hilft Ihnen Die Blutegeltherapie
Neuf dès 71,94 €
-
The French Army And The First World War
Neuf dès 51,69 €
-
English For Sales And Purchasing - Student's Book And Multirom
Neuf dès 42,95 €
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