EUR 12,89 für den Versand von China nach Deutschland
Versandziele, Kosten & DauerAnbieter: liu xing, Nanjing, JS, China
paperback. Zustand: New. Pages Number: 200 Publisher: Zhejiang University Press Pub. Date :2010-03 This book describes three selected representative and formal methods. which are based on set theory and first-order predicate calculus-based z language to temporal logic-based xyz. there is an intuitive mathematical school-based of type theory. Book either as a computer science graduate students in the form. Bestandsnummer des Verkäufers J81545
Anzahl: 3 verfügbar