Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - 23. januar 2002
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Peter Muller

Pris
Fr. 44,99

Bestillingsvarer

Forventes levert 25. jul - 4. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 23. januar 2002
ISBN13 9783540431671
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 298
Mål 155 × 235 × 16 mm   ·   439 g
Språk Engelsk  
Vis alle

Mer med Peter Muller

Se alt med Peter Muller ( f.eks. Pocketbok , Innbunden bok , CD og Bok )