114,56 €
Produit Neuf
Ou 28,64 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 28 septembre
Nos autres offres
-
118,26 €
Produit Neuf
Ou 29,57 € /mois
- Livraison : 25,00 €
- Livré entre le 5 et le 10 octobre
- 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 Validated Designs For Object - Oriented Systems de Fitzgerald, John Format Broché - Livre Informatique
0 avis sur Validated Designs For Object - Oriented Systems de Fitzgerald, John Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 129,00 €
-
Catafalque
Neuf dès 86,94 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
English Legal System Eighth Edition
Neuf dès 60,59 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Turc Sans Peine Méthode Assimil
Occasion dès 60,25 €
-
Harald Szeemann
Neuf dès 87,99 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Sf2a : Scientific Highlights 2004
Occasion dès 69,00 €
-
The Globalization Of World Politics
Neuf dès 87,03 €
-
Le Corbusier
2 avis
Occasion dès 59,90 €
-
Didactique De L'anglais - Tome 2, La Mise En Oeuvre Pédagogique
Occasion dès 58,88 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
The Rainbow
Neuf dès 105,43 €
-
Motor Racing - Reflections Of A Lost Era
Neuf dès 63,37 €
-
Microeconomic Theory
Occasion dès 69,79 €
-
Quantum Mechanics
Occasion dès 65,00 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
Produits similaires
Présentation Validated Designs For Object - Oriented Systems de Fitzgerald, John Format Broché
- Livre Informatique
Résumé :
This book describes an object-oriented design approach that combines the benefits of abstract modeling with the analytic power of formal methods to give designs that can be rigorously validated and assured with automated support. Aimed at software architects, designers, and developers as well as computer scientists, the elements of functional modeling are introduced using numerous examples and exercises, industrial case studies, and experience reports. Industry-strength tools support the text....
Sommaire:
I - Models and Software Development Introduction Building a Model in VDM++: an Overview VDM++ Tool Support II - Modelling Object-oriented Systems in VDM++ Defining Data Defining Functionality Modelling Unordered Collections Modelling Ordered Collections Modelling Relationships III - Modelling in Practice: Three Case Studies Model Structuring: The Enigma Cipher Combining Views: The CSLaM System TradeOne: From Enterprise Architecture to Business Application IV - From Models to Code Concurrency in VDM++ Model Quality Implementing in Java A - Solutions to exercises Bibliography List of Acronyms Subject Index Definitions Index
Détails de conformité du produit
Personne responsable dans l'UE