Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
Edición de la obra Verification of object-oriented software
| Autor | Bernhard Beckert |
|---|---|
| Editorial | Springer |
| Fecha de publicación | February 21, 2007 |
| Idioma | inglés |
| Páginas | 658 |
| Formato | Paperback |
| ISBN-13 | 9783540689775 |
| ISBN-10 | 354068977X |
| OCLC | 78203745 |
| LCCN | 2006939067 |
| Número de Cutter |