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: 52.99 EUR
Availability: OutOfStock
Author: Peter Muller

Cena

€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 5. - 13. aug

Dostávajte upozornenia na nové nahrávky interpreta Peter Muller

Naši zákazníci hovoria:

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

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa

Najvyššie hodnotenie na Trustpilot

Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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

Médium	Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané	23. januára 2002
ISBN13	9783540431671
Vydavatelia	Springer-Verlag Berlin and Heidelberg Gm
Strany	298
Rozmery	155 × 235 × 16 mm · 439 g
Jazyk	Angličtina