North South University Library OPAC

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. proceedings / edited by Jin Song Dong and Huibiao Zhu by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: New York : Springer, c2010
Availability: Items available for reference: North South University Library: Not for loan (1)Location, call number: REF QA76.9.F67 2010.

Add to cart
2.
Z : an introduction to formal methods / Antoni Diller by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: Chichester : John Wiley, c1994
Availability: Items available for loan: North South University Library (5)Location, call number: QA76.73.Z2D55 1994, ...

Place hold Add to cart
Pages
© 2017-2024 NSU Library
North South University

Powered by Koha