Validated Designs for Object-Oriented Systems - Fitzgerald, John
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre114,30 €
Produit Neuf
Ou 28,58 € /mois
- Livraison à 0,01 €
- Livré entre le 28 juillet et le 10 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781852338817_dbm
Nos autres offres
-
117,67 €
Produit Neuf
Ou 29,42 € /mois
- Livraison : 3,99 €
- Livré entre le 27 juillet et le 3 août
Voir le détail de l'annonce -
101,99 €
Occasion · Comme Neuf
Ou 25,50 € /mois
- Livraison : 25,00 €
- Livré entre le 10 et le 17 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 Validated Designs For Object - Oriented Systems Format Relié - Livre Informatique
0 avis sur Validated Designs For Object - Oriented Systems Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Project Management For Engineers
Neuf dès 69,48 €
-
Les Trains Blindes: De 1825 À Nos Jours
2 avis
Neuf dès 64,00 €
Occasion dès 109,50 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 125,99 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Indian Jewelry Making Volume 1
Occasion dès 110,00 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
Oxford Resources For Ib Dp Chemistry: Study Guide
Neuf dès 54,16 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Medieval Military Technology, Second Edition
Neuf dès 62,76 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 52,06 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
Confrontations - Confrontaties
Neuf dès 68,00 €
-
Pete Townshend: Who I Am
Neuf dès 127,99 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Principles Of Sustainable Finance
Neuf dès 134,83 €
Occasion dès 59,11 €
Produits similaires
Présentation Validated Designs For Object - Oriented Systems Format Relié
- Livre Informatique
Résumé :
This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising software engineers with some prior experience of object-oriented design/programming and at intermediate or advanced students studying object-oriented design or modelling in a short course. The following features make this book particularly attractive to potential instructors: ? The relationship with UML and object-oriented programming makes it easy to integrate with the mainstream computing curriculum. Although the book is about formal methods, it does not have to be treated as a specialist topic. ? The use of tools and an accessible modelling language improves student motivation. ? The industry-based examples and case studies add to the credibility of the approach. ? The light touch approach means that the material appeals to students with a wider range of abilities than is the case in a conventional formal methods text. ? Support materials as listed above.
Sommaire:
Models and Software Development.- Building a Model in VDM++: An Overview.- VDM++ Tool Support.- Modelling Object-oriented Systems in VDM++.- Defining Data.- Defining Functionality.- Modelling Unordered Collections.- Modelling Ordered Collections.- Modelling Relationships.- Modelling in Practice: Three Case Studies.- Model Structuring: The Enigma Cipher.- Combining Views: The CSLaM System.- TradeOne: From Enterprise Architecture to Business Application.- From Models to Code.- Concurrency in VDM++.- Model Quality.- Implementing in Java.
Détails de conformité du produit
Personne responsable dans l'UE