Validated Designs For Object-Oriented Systems Format Relié

Validated Designs for Object-Oriented Systems - Fitzgerald, John

Format: Relié
402 pages

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (1)

Occasion (2)

Reconditionné

37,22 €

Occasion · Très Bon État

Ou 9,31 € /mois

Livraison : 0,00 €

Voir les modes de livraison

Protection acheteurs :
0,00 €

PRO Vendeur favori

4,6/5 sur + de 1 000 ventes

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

Nos autres offres

44,61 €

Produit Neuf

Ou 11,15 € /mois

En savoir plus
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
Voir les modes de livraison
ORIG1

PRO

4,6/5 sur 217 ventes

Contacter le vendeur

Faire une offre
Afficher la description de l'annonce
Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
74,99 €

Occasion · État Correct

Ou 18,75 € /mois

En savoir plus
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
Voir les modes de livraison
- Protection acheteurs :
- 0,00 €
Kelindo

PRO

4,8/5 sur + de 1 000 ventes

Contacter le vendeur
Afficher la description de l'annonce
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.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Validated Designs For Object - Oriented Systems Format Relié - Livre Informatique

Note : 0 0 avis sur Validated Designs For Object - Oriented Systems Format Relié - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Validated Designs For Object - Oriented Systems Format Relié
- Livre Informatique

Livre Informatique - Fitzgerald, John - 01/02/2005 - Relié - Langue : Anglais

Auteur(s) : Fitzgerald, John - Larsen, Peter Gorm - Mukherjee, Paul - Plat, Nico - Verhoef, MarcelEditeur : Springer-Verlag London Ltd.Langue : AnglaisParution : 01/02/2005Format : Moyen, de...

Auteur(s) : Fitzgerald, John - Larsen, Peter Gorm - Mukherjee, Paul - Plat, Nico - Verhoef, Marcel

Editeur : Springer-Verlag London Ltd.

Langue : Anglais

Parution : 01/02/2005

Format : Moyen, de 350g à 1kg

Nombre de pages : 402

Expédition : 700

Dimensions : 24.3 x 16.2 x 2.5

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

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Validated Designs for Object-Oriented Systems - Fitzgerald, John

Avis sur Validated Designs For Object - Oriented Systems Format Relié - Livre Informatique

Présentation Validated Designs For Object - Oriented Systems Format Relié - Livre Informatique

Présentation Validated Designs For Object - Oriented Systems Format Relié
- Livre Informatique