Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods - Matt Kaufmann - Boeken - Springer - 9780792378495 - 30 juni 2000
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 191,49

Besteld in een afgelegen magazijn

Verwachte levering 24 sep. - 2 okt.
Ontvang meldingen over nieuwe releases van Matt Kaufmann

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

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

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 30 juni 2000
ISBN13 9780792378495
Uitgevers Springer
Pagina's 337
Afmetingen 155 × 235 × 20 mm   ·   684 g
Taal en grammatica Engels  
Uitgever Kaufmann, Matt
Uitgever Manolios, Panagiotis
Uitgever Moore, J Strother

Meer van dezelfde uitgever

Bekijk alles van Matt Kaufmann