Preface to the volume / S. Reeves, E. Riccobene (LECTURE NOTES IN COMPUTER SCIENCE). - In: Abstract state machines, Alloy, B, VDM, and Z : third international conference, ABZ 2012 : Pisa, Italy, june 18-21, 2012 : proceedings / [a cura di] J. Derrick, J.S. Fitzgerald, S. Gnesi, S. Khurshid, M. Leuschel, S. Reeves, E. Riccobene. - Berlin : Springer, 2012. - ISBN 9783642308840. - pp. VII-VIII (( Intervento presentato al 3. convegno International Conference on Abstract State Machines, Alloy, B, VDM, and Z (ABZ) tenutosi a Pisa nel 2012 [10.1007/978-3-642-30885-7].
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
bok%3A978-3-642-30885-7.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
8.87 MB
Formato
Adobe PDF
|
8.87 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
