Zu "Theorem prover" wurde 1 Produkt gefunden
HOME
Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2
30,80 €*
Preise inkl. MwSt. zzgl. Versandkosten