Constructing correct software /
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | English |
| Pubblicazione: |
London :
Springer,
2008.
|
| Edizione: | 2nd ed. |
| Serie: | Formal approaches to computing and information technology
|
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
|
| LEADER | 01117cam a2200313 i 4500 | ||
|---|---|---|---|
| 001 | u91466 | ||
| 003 | SIRSI | ||
| 005 | 20210114121957.0 | ||
| 008 | 110131 eng | ||
| 020 | |a 1852338202 |q pbk. | ||
| 020 | |a 9781852338206 |q pbk. | ||
| 050 | |a QA76.76.D47 |b .C66 2008 | ||
| 100 | 1 | |a Cooke, John. , |e author |9 125202 | |
| 245 | 1 | 0 | |a Constructing correct software / |c John Cooke. |
| 250 | |a 2nd ed. | ||
| 264 | 1 | |a London : |b Springer, |c 2008. | |
| 300 | |a xxi, 509 pages : |b illustrations ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 490 | 1 | |a Formal approaches to computing and information technology | |
| 596 | |a 1 | ||
| 650 | 0 | |a Computer software |x Development. |9 3381 | |
| 650 | 0 | |a Formal methods (Computer science). |9 38711 | |
| 942 | |c BOOK_OA | ||
| 997 | |a 142151 | ||
| 998 | |a 1 |b Shafrizan Shafferi | ||
| 999 | |c 151782 |d 151782 | ||
| 952 | |0 0 |1 0 |2 LCC |4 0 |6 QA007676 D47 C66 02008 |7 0 |9 274676 |a UTHM_LIB |b UTHM_LIB |c OPENACCS |d 2008-11-06 |g 369.29 |l 0 |n 1 |o QA76.76.D47 .C66 2008 |p 1000219269 |r 2020-12-05 |t 1 |w 2020-12-05 |y BOOK_OA | ||