Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - 23. januar 2002
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 449

Bestilles fra fjernlager

Forventes klar til forsendelse 6. - 12. nov.
Julegaver kan byttes frem til 31. januar
Modtag notifikation om nye Peter Muller udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 23. januar 2002
ISBN13 9783540431671
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 298
Mål 155 × 235 × 16 mm   ·   439 g
Sprog Engelsk  

Mere med Peter Muller

Vis alle

Mere med samme udgiver

Se alt med Peter Muller