Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Select all Clear all
Select titles to:
Results
Software safety and security : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg, and Benedikt Hauptmann. by Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 33.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2012
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus. by Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 34.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Amsterdam : IOS Press, [2013]
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Dependable software systems engineering / edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner. by Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 40.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Amsterdam : IOS Press, 2015Copyright date: ©2015
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. by Series: NATO security through science series. D, Information and communication security ; ; vol. 1.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2006
Online resources:
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
Place hold Add to cart
Pages

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies   |   Maintained by: Global Library