Normal view MARC view ISBD view

FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski.

By:

Contributor(s):

Material type:

Subject(s):

LOC classification:

Online resources:

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	URL	Copy number	Status	Notes	Date due	Barcode
Libro Electrónico	Biblioteca Digital Colección Digital	QA76.76.D47 M57 2006 (Browse shelf(Opens below))	Link to resource	C : 1	Available	SpringerLink		BDIG00009797

Previous								Next
Previous	QA76.76.D47 L68 2008 Elementary Logic	QA76.76.D47 M46 2008 Software Evolution	QA76.76.D47 M49 2007 Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers /	QA76.76.D47 M57 2006 FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings /	QA76.76.D47 N54 2006 Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings /	QA76.76.D47 O23 2005 Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings /	QA76.76.D47 O26 2008 Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /	Next

There are no comments on this title.

to post a comment.