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

Viac informácií o knihe Deductive Software Verification - The KeY Book

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

Nákupom získate 299 bodov

Anotácia knihy

Mechanized verification has a distinguished history, as well and this is not a place to trace it. It suffices to say that the KeY project, the subject of this book, is possibly the most ambitious endeavour in this area. It has started in 1998 and gradually evolved into, what the authors call, the KeY framework. This framework goes beyond mechanized verification by also providing a means of program specification, a test case generation, a teaching tool for a number of courses on Software Engineering, and a debugging tool. The current book is a substantial revision and extension of the previous edition that takes into account this evolution of the KeY system. It systematically explains several facets of the KeY framework, starting with the theoretical underpinning and ending with a presentation of nontrivial case studies.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general

• Celý názov: Deductive Software Verification - The KeY Book
• Podnázov: From Theory to Practice
• Autor: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 702
• EAN: 9783319498119
• ISBN: 3319498118
• ID: 15195022
• Nakladateľ: Springer International Publishing AG
• Hmotnosť: 1095 g
• Rozmery: 235 × 155 × 40 mm
• Dátum vydania: 21. December 2016

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

---

---

---