Constraint-Based Verification - Jun Yuan - Grāmatas - Springer-Verlag New York Inc. - 9781441938527 - 2010. gada 29. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Jun Yuan
Constraint-Based Verification Softcover reprint of hardcover 1st ed. 2006 edition

Cena
€ 103,49

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

Paredzamā piegāde . gada 4. - 12. jūn.

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

Pieejams arī kā:

Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular. It relates constrained verification with the also-hot technology called assertion-based design. Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

254 pages, 72 black & white illustrations, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 29. oktobris
ISBN13 9781441938527
Izdevēji Springer-Verlag New York Inc.
Lapas 254
Izmēri 155 × 235 × 14 mm   ·   376 g
Valoda Angļu  

Mere med samme udgiver

Skatīt visus Jun Yuan ( piem., Hardcover Book un Paperback Book )