Validated Designs for Object-Oriented Systems - Fitzgerald, John
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre93,49 €
Produit Neuf
Ou 23,37 € /mois
- Livraison à 0,01 €
- Livré entre le 30 avril et le 7 mai
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
-
38,99 €
Occasion · Très Bon État
Ou 9,75 € /mois
1,95 € offerts- Livraison : 0,00 €
- Livré entre le 7 et le 15 mai
Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus -
93,49 €
Produit Neuf
Ou 23,37 € /mois
- Livraison à 0,01 €
- Livré entre le 30 avril et le 7 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781852338817_dbm
-
113,99 €
Produit Neuf
Ou 28,50 € /mois
- Livraison : 25,00 €
- Livré entre le 15 et le 20 mai
- 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.
-
Complete Ielts Bands 6.5-7.5 Workbook Without Answers With Audio Cd
Neuf dès 38,71 €
-
Tour Auto - 25e Édition
1 avis
Neuf dès 59,00 €
Occasion dès 35,40 €
-
Horror Films - Cinéma Fantastique -
Occasion dès 29,80 €
-
Pucci De Rossi: '71-'96
Occasion dès 49,70 €
-
Incroyable Islam: La Religion Qui Met Votre Cerveau À L'épreuve (French Edition)
Occasion dès 21,57 €
-
Finance For Executives
Occasion dès 50,00 €
-
David Busch's Canon Eos R6 Ii Guide To Digital Photography
Neuf dès 46,39 €
Occasion dès 82,99 €
-
Medicine 1 - Student's Book
Occasion dès 47,99 €
-
Encyclopedia Of Hydrangeas
Occasion dès 51,25 €
-
Paul Thek En Italie (1962-1976)
Neuf dès 24,00 €
-
The Empowerment Manual
Neuf dès 75,52 €
Occasion dès 20,00 €
-
Atomic Habits
4 avis
Neuf dès 23,00 €
-
The Secret Of Secrets
Neuf dès 32,92 €
Occasion dès 22,45 €
-
Furious Love
Neuf dès 22,38 €
-
Dc Finest: Justice Society Of America: The Plunder Of The Psycho-Pirate
Neuf dès 39,20 €
-
L'allemand B2 Pack Téléchargement - Avec 1 Livre, 1 Livret Et 1 Téléchargement Audio
Neuf dès 49,90 €
Occasion dès 45,40 €
-
Cote D'azur: Inventing The French Riviera
Occasion dès 24,90 €
-
Dc Finest: The Flash: The Fastest Man Dead
Neuf dès 39,88 €
-
Hypnose Leviers De Changement: Comment Les Détecter Et Les Activer
3 avis
Occasion dès 24,00 €
-
World Radio Tv Handbook 2024: The Directory Of Global Broadcasting
Neuf dès 53,48 €
Occasion dès 39,54 €
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