Your search returned 144 results.

Results
	1.		Hardware and Software: Verification and Testing by Valeria Bertacco, Axel Legay Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	2.		Programming Languages and Systems by Chung-chieh Shan Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	3.		Runtime Verification by Shaz Qadeer, Serdar Tasiran Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	4.		Unifying Theories of Programming by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	5.		Formal Aspects of Component Software by Corina S. Pasareanu, Gwen Sala�n Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	6.		Generative and Transformational Techniques in Software Engineering IV by Ralf L�mmel, Jo�o Saraiva, Joost Visser Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	7.		Foundations of Software Science and Computation Structures by Frank Pfenning Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	8.		Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky by Bob Coecke, Luke Ong, Prakash Panangaden Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	9.		Integrated Formal Methods by Einar Broch Johnsen, Luigia Petre Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	10.		Static Analysis by Francesco Logozzo, Manuel F�hndrich Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	11.		Tests and Proofs by Margus Veanes, Luca Vigan� Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	12.		ECOOP 2013 � Object-Oriented Programming by Giuseppe Castagna Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	13.		Structured Object-Oriented Formal Language and Method by Shaoying Liu Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	14.		Hardware and Software: Verification and Testing by Armin Biere, Amir Nahir, Tanja Vos Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	15.		Software Engineering and Formal Methods by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	16.		Computational Logic in Multi-Agent Systems by Jo�o Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	17.		Runtime Verification by Axel Legay, Saddek Bensalem Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	18.		Reachability Problems by Parosh Aziz Abdulla, Igor Potapov Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	19.		Constraint Solving and Language Processing by Denys Duchier, Yannick Parmentier Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.
	20.		Implementation and Application of Functional Languages by Ralf Hinze Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2013 Online resources: Click here to access online Availability: Items available for reference: shift: Not for loan (1)Collection, call number: shift shift.