Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Higher Order Logic Theorem Proving and Its Applications
Thomas F. Melham, Juanito Camilleri
Häftad
540 kr
Formal Techniques in Real-Time and Fault-Tolerant Systems
Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
Häftad
1 105 kr