search result

Cover von Special issue on mathematics of program construction; 1/2
S. 1-195
Search for this author
Year: 2004
Publisher: Amsterdam, Elsevier
Count: 1/2
Media group: SPECIAL ISSUE
Cover von Mathematics of program construction
6th international conference, Dagstuhl Castle, Germany, July 8 -10, 2002, proceedings
Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2386
Media group: MONOGRAPHIE
Cover von Refinement in Z and Object-Z
Foundations and Advanced Applications
Author: Derrick, John; Boiten, Eerke A. Search for this author
Year: 2014
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Integrated formal methods
4th international conference, Canterbury, Uk, April 4 - 7, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2999
Media group: MONOGRAPHIE
OPEN V 11.1.0.0