Your search returned 2 results.

Results
	1.	Principles of Model Checking. by Baier, Christel Katoen, Joost-Pieter Larsen, Kim Guldstrand Series: The MIT Press Series Edition: 1st ed. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : MIT Press, 2008Copyright date: ©2008 Online resources: Click to View Availability: No items available. Add to cart (remove)
	2.	Dependable Software Systems Engineering. by Irlbeck, M Peled, D Pretschner, A Series: NATO Science for Peace and Security Series - d: Information and Communication Security Series Edition: 1st ed. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam : IOS Press, Incorporated, 2015Copyright date: ©2015 Online resources: Click to View Availability: No items available. Add to cart (remove)

Refine your search