Freunden von diesem Artikel berichten:
Rigorous Software Development 2011 edition
Jose Bacelar Almeida
Preis
¥ 7.257
exkl. MwSt.
Bestellware
Lieferdatum: ca. 16. - 27. Jun
Zu deiner iMusic Wunschliste hinzufügen
Rigorous Software Development 2011 edition
Jose Bacelar Almeida
This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.
276 pages, 52 black & white illustrations, biography
| Medien | Bücher Buch |
| Erscheinungsdatum | 7. Januar 2011 |
| ISBN13 | 9780857290175 |
| Verlag | Springer London Ltd |
| Seitenanzahl | 307 |
| Maße | 155 × 235 × 15 mm · 390 g |
| Sprache | Englisch |
Alle Titel von Jose Bacelar Almeida ansehen ( u. a. Buch )