Articles liés à software engineering. formal methods and language(Chinese...
Acheter neuf
Afficher cet article
EUR 51,83
EUR 12,91 expédition depuis Chine vers France
Destinations, frais et délaisRésultats de recherche pour software engineering. formal methods and language(Chinese...
Image fournie par le vendeur
software engineering. formal methods and language(Chinese Edition)
Edité par
Zhejiang University Press Pub. Date :2010-03, 2010
ISBN 10 : 7308066673
ISBN 13 : 9787308066679
Neuf
paperback
Vendeur : liu xing, Nanjing, JS, Chine
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : 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. N° de réf. du vendeur J81545
Quantité disponible : 3 disponible(s)