Contatto
Come acquistare
Consegna
Guida all'acquisto
Deductive Software Verification - The KeY Book
From Theory to Practice
Inglese
315 b
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
14.19
€
/
In brossura
14.39
€
/
In brossura
19.89
€
/
In brossura
81.39
€
/
In brossura
32.09
€
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.
Informazioni sul libro
Inglese
Categorie
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
67.39
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?