Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - 23. januar 2002
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 9. - 17. apr

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja 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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 23. januar 2002
ISBN13 9783540431671
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 298
Dimenzije 155 × 235 × 16 mm   ·   439 g
Jezik Angleščina  

Več od Peter Muller

Prikaži vse

Ogled vseh Peter Muller ( Na primer Paperback Book , Hardcover Book , Book in CD )