Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification - Robert Kurshan - Grāmatas - Kluwer Academic Publishers - 9780792392859 - 1992. gada 31. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Robert Kurshan
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

Cena
€ 179,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 14. - 28. aug.
Saņemiet paziņojumus par jauniem Robert Kurshan izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1992. gada 31. decembris
ISBN13 9780792392859
Izdevēji Kluwer Academic Publishers
Lapas 142
Izmēri 156 × 234 × 9 mm   ·   390 g
Redaktors Kurshan, Robert

Vairāk no tā paša izdevēja

Skatīt visus Robert Kurshan ( piem., Hardcover Book un Paperback Book )