search result

Cover von A survey of verification techniques for parallel programs
Author: Barringer, Howard Search for this author
Year: 1985
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 191
Media group: MONOGRAPHIE
Cover von Temporal logic in specification
Altrincham, UK, April 8 - 10, 1987 : proceedings
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 398
Media group: MONOGRAPHIE
Cover von Advances in temporal logic
Search for this author
Year: 2000
Publisher: Boston, Kluwer
Series: Applied logic series; 16
Media group: MONOGRAPHIE
Cover von Runtime Verification
First International Conference, St. Julians, Malta, November 1 - 4, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6418
Media group: MONOGRAPHIE
Cover von We Will Show Them!

We Will Show Them!

Essays in Honour of Dov Gabbay on his 60th Birthday
2005
London, College Publications
Media group: GESAMTWERK
Volumes loading
OPEN V 11.1.0.0