Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification - Robert Kurshan - Kirjat - Kluwer Academic Publishers - 9780792392859 - torstai 31. joulukuuta 1992
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification Reprinted from Formal Methods in System Design, 1: edition

Robert Kurshan

Hinta
Kč 4.247

Tilattu etävarastosta

Arvioitu toimitus ke - pe 10. - 19. syys

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification Reprinted from Formal Methods in System Design, 1: edition

A collection of papers that begins with a general survey of hardware verification methods. It starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing upon various advances. It presents a generic format for graphical presentations of coordinating systems represented by automata.

142 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 31. joulukuuta 1992
ISBN13 9780792392859
Tuottaja Kluwer Academic Publishers
Sivujen määrä 142
Mitta 156 × 234 × 9 mm   ·   390 g
Toimittaja Kurshan, Robert

Katso kaikki joka sisältää Robert Kurshan ( Esim. Hardcover Book Ja Paperback Book )