Search

Your search returned 40 results.

Results
		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)
		Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM : proceedings, Shanghai, China, Nov. 17-19, 2010 (e-book) by Dong, Jin Song [Editor] \| Zhu, Huibiao [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6447 \| 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)
		Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS, Paphos, Cyprus, Mar. 27-28, 2010 (e-book) by Armando, Alessandro [Editor] \| Lowe, Gavin [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6186 \| LNCS Sublibrary : SL 4 – Security and cryptology 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 concept analysis : 9th international conference : proceedings, ICFCA, Nicosia, Cyprus, May 2-6, 2011 (e-book) by Valtchev, Petko [Editor] \| Jäschke, Robert [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6628 \| Lecture Notes in Artificial Intelligence (LNAI) 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)
		FM : formal methods : 17th international symposium on formal methods : proceedings, Limerick, Ireland, June 20-24, 2011 (e-book) by Butler, Michael [Editor] \| Schulte, Wolfram [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6664 \| 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)
		Computer safety, reliability, and security : 34th international conference, SAFECOMP, proceedings, Delft, The Netherlands, Sep. 23-25, 2015 (e-book) by Koornneef, Floor [Editor] \| Gulijk, Coen van [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9338 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal methods and software engineering : 17th international conference on formal engineering methods, ICFEM, proceedings, Paris, France, Nov 3-5, 2015 (e-book) by International Conference on Formal Engineering Methods (17th : 2015 : Paris, France) \| Butler, Michael [Editor] \| Conchon, Sylvain [Editor] \| Zaidi, Fatiha [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9407 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Descriptional complexity of formal systems : 17th international workshop, DCFS, proceedings, Waterloo, ON, Canada, June 25-27, 2015 (e-book) by Shallit, Jeffrey [Editor] \| Okhotin, Alexander [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9118 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha