Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Finna-arvio
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Tallennettuna:
| Ulkoasu |
XV, 378 p. 133 illus. online resource |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2012.
|
| Sarja | Lecture Notes in Computer Science, ISSN 0302-9743; 7316 |
| Dewey-luokitus |
005.1015113 |
| Aiheet | |
| Lisätiedot | edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene |
| Painettu |
9783642308840 |
| ISBN |
9783642308857 |
| DOI | 10.1007/978-3-642-30885-7 |
| Pääsy | Aineisto on käytettävissä Jyväskylän yliopiston verkossa |
| Huomautukset |
SpringerLink eBooks |
| Standarditunnukset |
doi 10.1007/978-3-642-30885-7 |
| Hae kokoteksti | |