Logic in computer science:modelling and reasoning about systems
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Lingua: | inglese |
| Pubblicazione: |
Cambridge
CUP
2005
|
| Edizione: | 2nd ed. |
| Soggetti: | |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Lascia un commento!