Vdm 90 Vdm And Z Formal Methods In Software Development Third International Symposium Of Vdm Europe Kiel Frg April 17 21 1990 Proceedings(1990 Edition)
Authors:
Dines Bjorner ,C.A.R. Hoare ,Hans Langmaack
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540525130, 978-3540525134
Book publisher: Springer
Frequently Bought Together
A Book That Could Make A Bitcoin Trader Wealthy Overnight Day Trading And Macro Prediction Algorithms For Bitcoin Using Astrological Based Techniques And Methods - 1st Edition
Anthony Of Boston
ISBN: B0CVGJKGWL, 979-8879286083
$0 $12.99
Study Guide Intermediate Accounting Volume 2 Chapters 15-24 - 14th Edition
Donald E. Kieso
ISBN: 1118014502, 978-1118014509
$0 $200.66
Skills For Accounting Research - 5th Edition
Shelby Collins
ISBN: 1618535714, 978-1618535719
$0 $127.50
Vortex Flows And Related Numerical Methods - 1st Edition
J.T. Beale
ISBN: 9048142636, 978-9048142637
$0 $219.99
A Concurrent Pascal Compiler For Minicomputers - 1977 Edition
A. C. Hartmann
ISBN: 3540082409, 978-3540082408
$0 $54.99