Advances in Formal Methods
Visar alla böcker i serien Advances in Formal Methods. Handla med fri frakt och snabb leverans.
Software Engineering with OBJ
Del 2 · Joseph A. Goguen, Grant Malcolm · 2000
Computer-Aided Reasoning
Del 4 · Matt Kaufmann, Panagiotis Manolios, J Strother Moore · 2000
