Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods - Matt Kaufmann - Kirjat - Springer - 9780792378495 - perjantai 30. kesäkuuta 2000
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Matt Kaufmann

Hinta
Íkr 28.477,90

Tilattu etävarastosta

Arvioitu toimitus ke - to 17. - 25. syys

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

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

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä perjantai 30. kesäkuuta 2000
ISBN13 9780792378495
Tuottaja Springer
Sivujen määrä 337
Mitta 155 × 235 × 20 mm   ·   684 g
Kieli English  
Toimittaja Kaufmann, Matt
Toimittaja Manolios, Panagiotis
Toimittaja Moore, J Strother
Näytä kaikki

Lisää tuotteita Matt Kaufmann

Katso kaikki joka sisältää Matt Kaufmann ( Esim. Paperback Book Ja Hardcover Book )