Logic in computer science:modelling and reasoning about systems
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Kieli: | englanti |
| Julkaistu: |
Cambridge
CUP
2005
|
| Painos: | 2nd ed. |
| Aiheet: | |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|
Lisää ensimmäinen kommentti!