search result

Cover von Formal Methods
Foundations and Applications : 12th Brazilian Symposium on Formal Methods, Gramado, Brazil, August 19 - 21, 2009, Revised Selected Papers
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5902
Media group: MONOGRAPHIE
Cover von Theoretical aspects of computing
ICTAC 2007 : 4th international colloquium : Macao, China, September 26 - 28, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4711
Media group: MONOGRAPHIE
Cover von Domain modeling and the duration calculus
international training school : Shanghai, China, September 17 - 21, 2007 : advanced lectures
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4710
Media group: MONOGRAPHIE
Cover von Refinement techniques in software engineering
first Pernambuco summer school on software engineering, Recife, Brazil, November 23 - December 5, 2004, revised lectures
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 3167
Media group: MONOGRAPHIE
Cover von Formal methods and software engineering
5th international conference on formal engineering methods, Singapore, November 5 - 7, 2003 : proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2885
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
Cover von Software Engineering for Robotics
Search for this author
Year: 2021
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Formal methods and hybrid real-time systems
essays in honour of Dines Bjoerner and Zhou Chaochen on the occasion of their 70th birthdays
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 4700
Media group: MONOGRAPHIE
OPEN V 11.1.0.0