Normal view MARC view ISBD view

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:

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 F58 2005 (Browse shelf(Opens below))	Link to resource	C : 1	Available	SpringerLink		BDIG00009796

Previous								Next
Previous	QA76.76.D47 F53 2005 Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /	QA76.76.D47 F53 2007 Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /	QA76.76.D47 F55 2008 Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /	QA76.76.D47 F58 2005 FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /	QA76.76.D47 G34 2006 Model Driven Architecture and Ontology Development	QA76.76.D47 H37 2005 Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings /	QA76.76.D47 K35 2006 Software Product Lines	Next

There are no comments on this title.

to post a comment.