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

Name: Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science
Price: 449 DKK
Availability: OutOfStock
Author: Peter Muller

Pris

DKK 449

Bestilles fra fjernlager

Forventes klar til forsendelse 5. - 9. jan. 2026

Julegaver kan byttes frem til 31. januar

Vores kunder siger:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Peter Muller

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