Formal specification and software development
Bjorner, Dines
Formal specification and software development - - Englewood Cliffs : Prentice-Hall International, 19 - x,502 p. 23 cm - .
0-13-329003-41
Electronic digital computers-Programming
Programming Languages ( Electronic computers)
681.3.06 Bjo
Formal specification and software development - - Englewood Cliffs : Prentice-Hall International, 19 - x,502 p. 23 cm - .
0-13-329003-41
Electronic digital computers-Programming
Programming Languages ( Electronic computers)
681.3.06 Bjo