8 treff
Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
Pernambuco Summer School on Software Engineering
Bok Engelsk 2006
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2003
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Sir Antony Hoare
edited by Jim Davies, Bill Roscoe, and Ji...
Bok Engelsk 2000
FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Vol. 1.
World Congress on Formal Methods in the Development of Computing Systems
Bok Engelsk 1999
FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Vol. 2.
World Congress on Formal Methods in the Development of Computing Systems
Bok Engelsk 1999
Using Z : specification, refinement, and proof
Jim Woodcock and Jim Davies
Bok Engelsk 1996
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
R. S. Bird, C. C. Morgan, J. C. P. Woodco...
Bok Engelsk 1993
FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 1993