Your search returned 22 results.

Not what you expected? Check for suggestions

Results
	21.	Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by CPP (Conference) (3rd : 2013 : Melbourne, Vic.) Gonthier, Georges [editor.] Norrish, Michael [editor.] Series: Lecture notes in computer science ; 8307. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2013 Other title: CPP 2013 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	22.	Tools and algorithms for the construction and analysis of systems : 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, Netherlands, April 2-8, 2016. Proceedings / Marsha Chechik, Jean-François Raskin (eds.). by TACAS (Conference) (22nd : 2016 : Eindhoven, Netherlands) Chechik, Marsha [editor.] Raskin, Jean-François, 1972- [editor.] ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands) Series: Lecture notes in computer science ; 9636. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. \| Lecture notes in computer science. Advanced research in computing and software science. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin : Springer, 2016 Other title: TACAS 2016 ETAPS 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha