Items related to 软件开发的形式...

软件开发的形式化工程方法:结构化+面向对象+形式化(国外经典教材·计算机科学与技 - Softcover

 
9787302183174: 软件开发的形式化工程方法:结构化+面向对象+形式化(国外经典教材·计算机科学与技

Search results for 软件开发的形式...

Seller Image

RI LIU SHAO YING
ISBN 10: 7302183171 ISBN 13: 9787302183174
New paperback

Seller: liu xing, Nanjing, JS, China

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

paperback. Condition: New. Paperback. Pub Date: 2008 08 of Pages: 408 in Publisher: Tsinghua University Press formal engineering methods for software development: Structured + object-oriented + formal pioneered a new technology for the first time. that a formal engineering methods traditional formal methods and software engineering combine. It provides a rigorous. systematic and effective approach to software development. its usefulness over the current formal methods. This is just to meet the academic software enginee. Seller Inventory # CB042296

Contact seller

Buy New

US$ 78.25
Convert currency
Shipping: US$ 18.00
From China to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket