Hoppa till sidans huvudinnehåll

Panagiotis Manolios - Böcker

Visar alla böcker från författaren Panagiotis Manolios.
2 produkter
Del 4 - Advances in Formal Methods

Computer-Aided Reasoning

ACL2 Case Studies

Av Matt Kaufmann, Panagiotis Manolios m. fl

Inbunden, Engelska, 2000

2 879 kr

Skickas inom 10-15 vardagar
Del 4 - Advances in Formal Methods

Computer-Aided Reasoning

ACL2 Case Studies

Av Matt Kaufmann, Panagiotis Manolios m. fl

Häftad, Engelska, 2010

2 879 kr

Skickas inom 10-15 vardagar