Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Primality and cryptography by Evangelos Kranakis. by
  • Kranakis, Evangelos
Series: Wiley-Teubner series in computer science
Material type: Text Book
Publication details: Chichester Wiley 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.5436 N86.

2.
Foundations of program verification by Jacques Loeckx, Kurt Sieber, Ryan D. Stansifer by
  • Loeckx, Jacques
  • Sieber, Kurt
  • Stansifer, Ryan D
Series: Wiley-Teubner series in computer science
Edition: second
Material type: Text Book
Publication details: Chichester John Wiley and sons 1987
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N8746.

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
                             Contact   Phone: +91 80 2293 2832

Powered by Koha