Items related to software engineering. formal methods and language(Chinese...
Synopsis
###############################################################################################################################################################################################################################################################
"synopsis" may belong to another edition of this title.
Buy New
View this item
£ 45.27
£ 11.28 shipping from China to United Kingdom
Destination, rates & speedsSearch results for software engineering. formal methods and language(Chinese...
Seller Image
software engineering. formal methods and language(Chinese Edition)
Published by
Zhejiang University Press Pub. Date :2010-03, 2010
ISBN 10: 7308066673
ISBN 13: 9787308066679
New
paperback
Seller: liu xing, Nanjing, JS, China
Seller rating 5 out of 5 stars
paperback. Condition: 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. Seller Inventory # J81545
Quantity: 3 available