Zu "first-order predicate logic" wurden 2 Produkte gefunden
HOME
The Correctness-by-Construction Approach to Programming
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
The Correctness-by-Construction Approach to Programming
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten