Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Software specification methods [Book] / edited by Henri Habrias, Marc Frappier. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London ; Newport Beach, CA : ISTE Ltd, 2007
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 004.01 SOF.

Place hold Add to cart
2.
Process algebra for parallel and distributed processing [Book] / edited by Michael Alexander, William Gardner. by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boca Raton : CRC Press, c2009
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 004.0151 PRO.

Place hold Add to cart
3.
Formal methods in human-computer interaction / [Book] Philippe Palanque and Fabio Paternò, eds. by Series: Formal approaches to computing and information technology
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : New York : Springer, c1998
Availability: Items available for loan: COMSATS University Sahiwal Campus (2)Call number: 004 .01 9 PAL-F, ...

Place hold Add to cart
Pages