Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - 2002. gada 23. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 12. - 21. maijā

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2002. gada 23. janvāris
ISBN13 9783540431671
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 298
Izmēri 155 × 235 × 16 mm   ·   439 g
Valoda Angļu  

Vairāk no Peter Muller

Rādīt visu

Skatīt visus Peter Muller ( piem., Paperback Book , Hardcover Book , Book un CD )