Computer-aided Reasoning
An Approach
- Editore:
Springer-verlag New York Inc.
- Collana:
- Advances In Formal Methods
- EAN:
9781461370031
- ISBN:
1461370035
- Pagine:
- 294
- Formato:
- Paperback
- Lingua:
- Inglese
Acquistabile con
o la
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti