Vinkkaa tuotetta kavereillesi:
Symbolic model checking
Kenneth L. McMillan
Hinta
Kč 2.550
Tilattu etävarastosta
Arvioitu toimitus ma 29. syys - ke 8. loka
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
Symbolic model checking
Kenneth L. McMillan
| Media | Kirjat Book |
| Julkaisupäivämäärä | lauantai 31. heinäkuuta 1993 |
| ISBN13 | 9780792393801 |
| Tuottaja | Kluwer Academic |
| Sivujen määrä | 194 |
| Mitta | 426 g |
| Kieli | English |
Katso kaikki joka sisältää Kenneth L. McMillan ( Esim. Book Ja Paperback Book )