Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-5 of 5)
Softwarespezifikation
1 2010 Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday Rating: Electronic Resources More...
2 2009 Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy) Rating: Electronic Resources More...
3 1993 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system Berlin ; New York : Springer-Verlag, ©1993 Rating: Electronic Resources
4 1989 Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings Berlin ; New York : Springer-Verlag, ©1989 Rating: Electronic Resources
5 2005 Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS TACAS (Conference) (11th : 2005 : Edinburgh, Scotland) Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday