Go back
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
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 10 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $7.08
Savings: $7.08(100%)
Book details
ISBN: 3540525130, 978-3540525134
Book publisher: Springer
Frequently Bought Together
Taxes And Business Strategy A Planning Approach - 5th Edition
Myron Scholes
ISBN: 132752670, 978-0132752671
$0 $233.32
New Jersey Student Learning Assessments NJSLA Test Practice Grade 6 - 1st Edition
Lumos Learning
ISBN: 1689670355, 978-1689670357
$0 $99.99
Real Analysis An Undergraduate Problem Book For Mathematicians Applied Scientists And Engineers - 1st Edition
Gustavo Da Silva Araújo
ISBN: 1032510269, 978-1032510262
$0 $57.59
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