Search

Your search returned 8 results.

Results
		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)
		Programming languages and systems : 20th European symposium on programming, ESOP, held as part of the joint European conferences on theory and practice of software : proceedings, ETAPS, Saarbrucken, Germany, Mar. 26-Apr. 3, 2011 (e-book) by Barthe, Gilles [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6602 \| 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)
		Security and trust management : 12th international workshop, STM, proceedings, Heraklion, Crete, Greece, Sept 26-27, 2016 (e-book) by Barthe, Gilles [Editor] \| Markatos, Evangelos [Editor] \| Samarati, Pierangela [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9331 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Applied semantics (e-book) by Barthe, Gilles [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.2395Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2002Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Construction and analysis of safe, secure, and interoperable smart devices (e-book) by Barthe, Gilles [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.3362Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2005Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Construction and analysis of safe, secure, and interoperable smart devices (e-book) by Barthe, Gilles [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.3956Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2006Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Trustworthy global computing (e-book) by Barthe, Gilles [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.4912Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal methods for open object-based distributed systems (e-book) by Barthe, Gilles [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5051Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha