Your search returned 3 results.

Sort
Results
1.
Model-based software testing and analysis with C# by
  • Jacky, Jonathan
Material type: Text Text; Format: large print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Juvenile;
Publication details: Cambridge Cambridge University Press 2008
Availability: Items available for loan: University Library (1)Call number: 004.415.53C# JAC.

2.
The way of Z: practical programming with formal methods Jonathan Jacky by
  • Jacky, Jonathan
  • Jacky, Jonathan
Publication details: Cambridge Cambridge University press 1997
Availability: Items available for loan: Department of Computer Application (1)Call number: 004.43 JAC.

3.
The way of Z: practical programming with formal methods Jonathan Jacky by
  • Jacky, Jonathan
  • Jacky, Jonathan
Publication details: Cambridge Cambridge University press 1997
Availability: No items available.

Pages

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India