Rigorous software development : an introduction to program verification
Finna-arvio
Rigorous software development : an introduction to program verification
Tallennettuna:
| Ulkoasu |
XII, 263 s. : ill. ; 235 mm x 155 mm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
London :
Springer,
2011.
|
| Sarja | Undergraduate topics in computer science |
| Dewey-luokitus |
004 |
| Aiheet | |
| Lisätiedot | José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa |
| ISBN |
978-0-85729-017-5 häftad |