Panagiotis Manolios - Böcker
Visar alla böcker från författaren Panagiotis Manolios.
2 produkter
2 produkter
Del 4 - Advances in Formal Methods
Computer-Aided Reasoning
ACL2 Case Studies
Inbunden, Engelska, 2000
2 879 kr
Skickas inom 10-15 vardagar
Del 4 - Advances in Formal Methods
Computer-Aided Reasoning
ACL2 Case Studies
Häftad, Engelska, 2010
2 879 kr
Skickas inom 10-15 vardagar