Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
₹5,598
Author
Books by Dines Bjørner
Showing 1–3 of 3 books
Software Engineering 1
Dines Bjørner
₹5,159
VDM '87. VDM - A Formal Method at Work
Dines Bjørner, Cliff Jones, Michael Mac an Airchinnigh
₹5,591