"martin, james . "
system design from provably correct constructs: / james.. martin - 1 ed. - usa : prentice hall 1985. - "xviii, 391p.; 24 cm."
0 13 881483 x hard cover
QA76.9.S88 / .M37 1985
001. 6425 mar
system design from provably correct constructs: / james.. martin - 1 ed. - usa : prentice hall 1985. - "xviii, 391p.; 24 cm."
0 13 881483 x hard cover
QA76.9.S88 / .M37 1985
001. 6425 mar