Panagiotis Manolios – författare

Visar alla böcker från författaren Panagiotis Manolios. Handla med fri frakt och snabb leverans.

2 produkter

Kategorier

2 produkter

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manoliosm. fl.

Inbunden, Engelska, 2000

2 889 kr

Skickas inom 10-15 vardagar

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manoliosm. fl.

Häftad, Engelska, 2010

2 889 kr

Skickas inom 10-15 vardagar