Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods - Matt Kaufmann - Grāmatas - Springer - 9780792378495 - 2000. gada 30. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Matt Kaufmann
Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods 2000 edition

Cena
€ 202,49

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

Paredzamā piegāde . gada 29. jūl. - . gada 6. aug.
Saņemiet paziņojumus par jauniem Matt Kaufmann 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

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems.

337 pages, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2000. gada 30. jūnijs
ISBN13 9780792378495
Izdevēji Springer
Lapas 337
Izmēri 155 × 235 × 20 mm   ·   684 g
Valoda Angļu  
Redaktors Kaufmann, Matt
Redaktors Manolios, Panagiotis
Redaktors Moore, J Strother

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

Skatīt visus Matt Kaufmann ( piem., Paperback Book un Hardcover Book )