Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - keskiviikko 23. tammikuuta 2002
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Peter Muller

Hinta
Kč 1.302

Tilattu etävarastosta

Arvioitu toimitus ke - to 23. - 31. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

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

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 23. tammikuuta 2002
ISBN13 9783540431671
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 298
Mitta 155 × 235 × 16 mm   ·   439 g
Kieli English  
Näytä kaikki

Lisää tuotteita Peter Muller

Katso kaikki joka sisältää Peter Muller ( Esim. Paperback Book , Hardcover Book , CD Ja Book )