ENGLISH

Formal specification and software development

By Bjorner D.; Jones C.B.

Book information

Publisher
Prentice Hall
Year
1982
Language
english
Format
DJVU
Filesize
6 MB (5979947 bytes)
Series
Prentice Hall International Series in Computer Science
Pages
482\482
DPI
300
Orientation
portrait
Paginated
yes
Scanned
yes
Time added
2014-09-14 23:54:12

Similar books