Tipsa dina vänner om produkten:
Symbolic model checking
Kenneth L. McMillan
Pris
₪ 438,84
Beställningsvara
Förväntad leverans 25 jun - 5 jul
Lägg till din iMusic-önskelista
Finns även som:
Symbolic model checking
Kenneth L. McMillan
| Media | Böcker Bok |
| Releasedatum | 31 juli 1993 |
| ISBN13 | 9780792393801 |
| Utgivare | Kluwer Academic |
| Antal sidor | 194 |
| Mått | 426 g |
| Språk | Engelska |
Se alt med Kenneth L. McMillan ( t.ex. Bok och Pocketbok )