Vinkkaa tuotetta kavereillesi:
Symbolic Model Checking Softcover reprint of the original 1st ed. 1993 edition
Kenneth L. McMillan
Hinta
¥ 9.158,60
Tilattu etävarastosta
Arvioitu toimitus to 25. syys - pe 3. loka
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
Symbolic Model Checking Softcover reprint of the original 1st ed. 1993 edition
Kenneth L. McMillan
Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied.
194 pages, biography
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | tiistai 23. lokakuuta 2012 |
| ISBN13 | 9781461363996 |
| Tuottaja | Springer-Verlag New York Inc. |
| Sivujen määrä | 194 |
| Mitta | 233 × 155 × 17 mm · 308 g |
| Kieli | English |
Katso kaikki joka sisältää Kenneth L. McMillan ( Esim. Book Ja Paperback Book )