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

Peter Muller

Prijs

€ 66,49

Besteld in een afgelegen magazijn

Verwachte levering 15 - 25 jul.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving

Topnotering op Trustpilot

Voeg toe aan uw iMusic-verlanglijst

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	Boeken Paperback Book (Boek met zachte kaft en gelijmde rug)
Vrijgegeven	23 januari 2002
ISBN13	9783540431671
Uitgevers	Springer-Verlag Berlin and Heidelberg Gm
Pagina's	298
Afmetingen	155 × 235 × 16 mm · 439 g
Taal en grammatica	Engels

Alles tonen

Meer door Peter Muller

Bekijk alles van Peter Muller ( bijv. Paperback Book , Hardcover Book , CD en Book )