Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - 23 janvier 2002
Si la couverture et le titre ne correspondent pas, le titre est correct.

Peter Muller
Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science 2002 edition

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 6 - 14 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

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.

298 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 23 janvier 2002
ISBN13 9783540431671
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 298
Dimensions 155 × 235 × 16 mm   ·   439 g
Langue et grammaire Anglais  

Plus par Peter Muller

Afficher tout

Voir tous les Peter Muller ( par ex. Paperback Book , Hardcover Book , Book et CD )