Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rusta
122,37 €
The context of the book is the key project, which aims to build a verification of the systems based on model checking. The book features the widely used specification languages: object constraint language (OCL) and Java modeling language (JML).
Jetzt bei Ebay:
