Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Verification of sequential and concurrent programs by
  • Krzysztof r apt,Ernst -Rudiger olderog
Edition:
Material type: Text Text; Format: large print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Juvenile;
Publication details: Springer-Verlag 1997
Availability: Items available for loan: Department of Computer Science (1)Call number: 004.436.

Add to cart
2.
Verification of sequential and concurrent programs by
  • Krzysztof r apt,Ernst -Rudiger olderog
Edition:
Material type: Text Text; Format: large print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Juvenile;
Publication details: Springer-Verlag 1997
Availability: No items available.

Add to cart
Pages

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