Ed s kaufmann matt (2 risultati)

Condizione: New. 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. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. Editor(s): Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother. Series: Advances in Formal Methods. Num Pages: 337 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1510. . 2000. Hardback. . . . . …

Condizione: New. 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. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. Editor(s): Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother. Series: Advances in Formal Methods. Num Pages: 337 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1510. . 2000. Hardback. . . . . Books ship from the US and Ireland. …