Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods - Matt Kaufmann - Knihy - Springer - 9780792378495 - 30. júna 2000
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 198,99

Objednané zo vzdialeného skladu

Očakávané doručenie 3. - 11. nov
Dostávajte upozornenia na nové nahrávky interpreta Matt Kaufmann

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

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

Médium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 30. júna 2000
ISBN13 9780792378495
Vydavatelia Springer
Strany 337
Rozmery 155 × 235 × 20 mm   ·   684 g
Jazyk Angličtina  
Editor Kaufmann, Matt
Editor Manolios, Panagiotis
Editor Moore, J Strother

Viac od toho istého vydavateľa

Pozrieť všetko od Matt Kaufmann