Results
|
|
Design and validation of computer protocols / Gerard J. Holzmann. by
- Holzmann, Gerard J
- American Telephone and Telegraph Company
Series: Prentice Hall software series
Material type: Text; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Upper Saddle River, United States : Prentice Hall, c.1991
Availability: Items available for loan: Central Library (2)Call number: 004.62 HOL, ... Items available for reference: Central Library: Not for loan (1)Call number: 004.62 HOL.
|
|
|
Software engineering for real-time systems / Jim Cooling. by
Edition: 1st ed.
Material type: Text; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Harlow, United Kingdom : Addison-Wesley, 2003
Availability: Items available for loan: Central Library (2)Call number: 005.1 COO, ... Items available for reference: Central Library: Not for loan (1)Call number: 005.1 COO.
|
|
|
Linear programming and network flows / Mokhtar S. Bazaraa, John J. Jarvis, Hanif D. Sherali. by
- Bazaraa, M. S
- Jarvis, John J
- Sherali, Hanif D, 1952-
Edition: 4th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Hoboken, United States : John Wiley & Sons, Inc., c.2010
Availability: Items available for loan: Central Library (2)Call number: 519.72 BAZ, ... Items available for reference: Central Library: Not for loan (1)Call number: 519.72 BAZ.
|