Abstract Software Specifications
D. Bjorner
₹4,560
Author
Books by D. Bjorner
Showing 1–3 of 3 books
The Vienna Development Method
D. Bjorner, C. B. Jones
₹3,013
Towards a Formal Description of ADA
D. Bjorner, O. N. Oest
₹5,105
Author
Showing 1–3 of 3 books
D. Bjorner
₹4,560
D. Bjorner, C. B. Jones
₹3,013
D. Bjorner, O. N. Oest
₹5,105