Your search returned 9 results.

Not what you expected? Check for suggestions

Results
	1.	Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / edited by Tiziana Margaria, Tom Melham. by Margaria, Tiziana Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / edited by Tiziana Margaria, Wang Yi. by Margaria, Tiziana Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	3.	Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	4.	Tools and Algorithms for the Construction and Analysis of Systems Second International Workshop, TACAS '96 Passau, Germany, March 27-29, 1996 Proceedings / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	5.	Services and Visualization Towards User-Friendly Design ACoS'98, VISUAL'98, AIN'97 Selected Papers / edited by Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga. by Margaria, Tiziana Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	6.	Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	7.	Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	8.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	9.	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

© International Center for Chemical and Biological Sciences (ICCBS) Libraries, 2011. All rights reserved.