Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
- Editore:
Springer Nature B.V.
- EAN:
9783642314254
- ISBN:
3642314252
- Pagine:
- 808
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti