Kontakt
Ako nakupovať
Doručenie
Nákupný poradca
Deductive Software Verification - The KeY Book
From Theory to Practice
Angličtina
299 b
30 dní na vrátenie tovaru
Zákazníci tiež kúpili
/
Brožovaná
18.42
€
/
Brožovaná
14.78
€
/
Brožovaná
19.13
€
/
Brožovaná
82.64
€
/
Brožovaná
34.22
€
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.
Informácie o knihe
Angličtina
Kategórie
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovanéhoMohlo by vás tiež zaujímať
/
Brožovaná
61.06
€
Ahoj! Som Libroamiko, tvoj knižný radca.
Ako ti môžem pomôcť?