Search

Your search returned 15 results.

Results
		Computer aided verification : 22nd international conference : proceedings, CAV, Edinburgh, UK, July 15-19, 2010 (e-book) by Touili, Tayssir [Editor] \| Cook, Byron [Editor] \| Jackson, Paul [Editor]. Series: lncs ; v.6174 \| LNCS Sublibrary: SL 1 – Theoretical Computer Science and General Issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		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)
		Hardware and software : verification and testing : 6th international Haifa verification conference, HVC, Haifa, Israel, Oct. 4-7, 2010 (e-book) by Barner, Sharon ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6504 \| 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)
		Time for verification : essays in memory of Amir Pnueli (e-book) by Manna, Zohar [Editor] \| Peled, Doron A [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6200 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues 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)
		Formal verification of object-oriented software : international conference, FoVeOOS, Paris, France, June 28-30, 2010 (e-book) by Beckert, Bernhard [Editor] \| Marché, Claude [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6528 \| 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, model checking, and abstract interpretation : 12th international conference : proceedings, VMCAI, Austin, TX, USA, Jan. 23-25, 2011 (e-book) by Jhala, Ranjit [Editor] \| Schmidt, David [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6538 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		NASA formal methods : third international symposium : proceedings, NFM, Pasadena, CA, USA, Apr. 18-20, 2011 (e-book) by Bobaru, Mihaela ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6617 \| 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)
		Foundations of computer software : modeling, development, and verification of adaptive systems : 16th Monterey workshop, Redmond, WA, USA, Mar. 31- Apr. 2, 2010 (e-book) by Calinescu, Radu [Editor] \| Jackson, Ethan [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6662 \| 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)
		Tools and algorithms for the construction and analysis of systems : 23rd international conference proceedings, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 (e-book) by Legay, Axel [Editor] \| Margaria,Tiziana [Editor]. Series: Lecture Notes in Computer Science ; v.10205Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha