Your search returned 4 results.

Results
	1.	FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Fitzgerald, John [editor.] Hayes, Ian J [editor.] Tarlecki, Andrzej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3582 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	2.	Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki. by Arge, Lars [editor.] Cachin, Christian [editor.] Jurdziński, Tomasz [editor.] Tarlecki, Andrzej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4596 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	3.	Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings / edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki. by Kurz, Alexander [editor.] Lenisa, Marina [editor.] Tarlecki, Andrzej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5728 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	4.	Foundations of Algebraic Specification and Formal Software Development [electronic resource] / by Donald Sannella, Andrzej Tarlecki. by Sannella, Donald [author.] Tarlecki, Andrzej [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS Series Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Maintained by VTU Library