Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - 23 stycznia 2002
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 212,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 13 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 23 stycznia 2002
ISBN13 9783540431671
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 298
Wymiary 155 × 235 × 16 mm   ·   439 g
Język Angielski  

Więcej od Peter Muller

Pokaż wszystko

Zobacz wszystko od Peter Muller ( np. Paperback Book , Hardcover Book , Book i CD )