|
Scheda bibliografica proveniente da importazione di metadati da altro sistema |
| Tipo: |
Documento elettronico, Monografia |
| Titolo: |
Model Checking Software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker |
| Pubblicazione: |
Berlin, Heidelberg : Springer Berlin Heidelberg : ; Imprint: Springer, 2012 |
| Descrizione fisica: |
[electronic resource] (Lecture Notes in Computer Science) |
| Titolo uniforme: |
Model Checking Software |
| Numeri standard: |
ISBN 9783642317590
DOI 10.1007/978-3-642-31759-0  |
| Altre responsabilità: |
Donaldson, Alastair
Parker, David |
| Lingua della pubblicazione: |
Inglese |
| Paese di pubblicazione: |
Guinea-Bissau |
| Codice identificativo: |
IT/ItRC/00050551 |
| data di importazione: |
01-01-2014 |
|
Sito Web |
Lista sintetica
Prossima
CNR - Biblioteca Centrale del CNR "Guglielmo Marconi" (Roma)
SEI QUI: HOME
SCHEDA BIBLIOGRAFICA
