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

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

Peter Muller

Pris
€ 59,99

Bestilles fra fjernlager

Forventes klar til forsendelse 22. - 28. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

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  
Vis alle

Mere med Peter Muller

Se alt med Peter Muller ( f.eks. Paperback Bog , Hardcover bog , CD og Bog )