search result

Cover von Specification and proof in real-time CSP
Author: Davies, Jim Search for this author
Year: 1993
Publisher: Cambridge, Cambridge University Press
Series: Distinguished dissertations in computer science; [6]
Media group: DISSERTATION
Cover von Formal methods and software engineering
6th international conference on formal engineering methods, Seattle, WA, USA, November 8 - 12, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3308
Media group: MONOGRAPHIE
Cover von GNU Scientific Library
Reference Manual, for GSL Version 1.12
Search for this author
Year: 2009
Publisher: Bristol, Network Theory Ltd
Media group: MONOGRAPHIE
Cover von Integrated formal methods
6th international conference : Oxford, UK, July 2 - 5, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4591
Media group: MONOGRAPHIE
Cover von Formal Methods
Foundations and Applications : 13th Brazilian Symposium on Formal Methods, Natal, Brazil, November 8 - 11, 2010, Revised Selected Papers
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6527
Media group: MONOGRAPHIE
Cover von FM '99

FM '99

formal methods : world congress on formal methods in the development of computing systems : Toulouse, France, September 20 - 24, 1999 : proceedings
1999
Berlin, Springer
Series: Lecture notes in computer science; 1708/1709
Media group: GESAMTWERK
Volumes loading
Cover von Using Z
specification, refinement, and proof
Author: Woodcock, James C. P.; Davies, Jim Search for this author
Year: 1996
Publisher: London, Prentice Hall
Series: Prentice Hall international series in computer science
Media group: MONOGRAPHIE
Cover von Millennial perspectives in computer science
proceedings of the 1999 Oxford -Microsoft symposium in honour of Sir Tony Hoare
Search for this author
Year: 2000
Publisher: Indianapolis, Macmillan Publ.
Series: The cornerstones of computing series
Media group: MONOGRAPHIE
OPEN V 11.1.0.0