Le livre est actuellement en rupture de stock
Paramètres
En savoir plus sur le livre
Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.
Achat du livre
Modular specification and verification of object oriented programs, Péter Müller
- Langue
- Année de publication
- 2002
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .