005.1 / So23
Software engineering with OBJ : algebraic specification in action / edited by Joseph Goguen and Grant Malcolm .- Boston: Kluwer Academic, 2000 .- xxvi, 410p . .- ( Advances In Formal Methods / Edited By Michael Hinchey
ISBN: 9780792377573
Subject Headings:
Software engineering;
Functional programming languages.;
Author Added Entry:
Goguen, Joseph., Ed.;
Copy Details:
Acc. No.: A174760, Full Call No.: 005.1 So23, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Software engineering with OBJ : algebraic specification in action / edited by Joseph Goguen and Grant Malcolm .- Boston: Kluwer Academic, 2000 .- xxvi, 410p . .- ( Advances In Formal Methods / Edited By Michael Hinchey
ISBN: 9780792377573
Subject Headings:
Software engineering;
Functional programming languages.;
Author Added Entry:
Goguen, Joseph., Ed.;
Copy Details:
Acc. No.: A174760, Full Call No.: 005.1 So23, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------