Mohlo by se vám také líbit

Více informací o knize Modular Specification and Verification of Object-Oriented Programs

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace 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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Object-oriented programming (OOP)

• Plný název: Modular Specification and Verification of Object-Oriented Programs
• Autor: Peter Müller
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 298
• EAN: 9783540431671
• ISBN: 3540431675
• ID: 01564071
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 970 g
• Rozměry: 235 × 155 × 17 mm
• Datum vydání: 23. January 2002

Oblíbené z jiného soudku

---

---

---