Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - 23 januari 2002
Indien omslag en titel niet overeenkomen, is de titel correct

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

Peter Muller

Prijs
CA$ 85,01

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 okt.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
of

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 )