Search

Your search returned 6 results.

Results
		Hardware and software : verification and testing : 5th international haifa verification conference, HVC, Haifa, Israel, Oct. 19-22, 2009 (e-book) by Namjoshi, Kedar [Editor] \| Zeller, Andreas [Editor] \| Ziv, Avi [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6405 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Verification, induction, termination analysis : festschrift for Christoph Walther on the occasion of his 60th birthday (e-book) by Siegler, Simon [Editor] \| Wasser, Nathan [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6463 \| LNCS Sublibrary : SL 7 – Artificial Intelligence Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Verification, model checking, and abstract interpretation : 11th international conference : VMCAI, Madrid, Spain, January 17-19, 2010 : proceedings (e-book) by Barthe, Gilles [Editor] \| Hermenegildo, Manuel [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5944 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer-Verlag 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Verified Software : theories, tools, experiments : third international conference : proceedings, VSTTE, Edinburgh, UK, Aug. 16-19, 2010 (e-book) by Leavens, Gary T [Editor] \| O’Hearn, Peter [Editor] \| Rajamani, Sriram K [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6217 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal methods for industrial critical systems : 15th international workshop : proceedings, FMICS, Antwerp, Belgium, Sept. 20-21, 2010. (e-book) by Kowalewski, Stefan [Editor] \| Roveri, Marco [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6371 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Runtime verification : first international conference : proceedings, RV, St. Julians, Malta, Nov. 1-4, 2010 (e-book) by Barringer, Howard ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6418 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha