Mohlo by sa vám tiež páčiť

Viac informácií o knihe Modular Specification and Verification of Object-Oriented Programs

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 175 bodov

Anotácia knihy

This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Object-oriented programming (OOP)

• Celý názov: Modular Specification and Verification of Object-Oriented Programs
• Autor: Peter Müller
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 298
• EAN: 9783540431671
• ISBN: 3540431675
• ID: 01564071
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 970 g
• Rozmery: 235 × 155 × 17 mm
• Dátum vydania: 23. January 2002

Obľúbené z iného súdka

---

---

---