Formal specification and software development

Bjorner,Dines

Formal specification and software development - New Jersey Prentice-Hall - ix,501

0133290034

004.414.38 BJO

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India