Stephan Merz

Springer, Berlin

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Formal Systems Specification: The RPC-Memory Specification Case Study978-3-540-61984-0
(3-540-61984-4)
1996Manfred Broy · Katharina Spies
Temporal Logic and State Systems978-3-540-67401-6
(3-540-67401-2)
2008Fred Kröger

S.M. · Stefaan Marysse · Stefan Marc · Stefan Marx · Stefan Merki · Stefan Merz · Stefan Mörz · Stefan Morawski · Stefanie Marsh · Stefanie Mierswa · Stephan Marks · Stephan Mros · Stephan Myers · Stephane Marais · Stéphane Marceau · Stephanie Maharaj · Stéphanie Mariaccia · Stephanie Marx · Stephen Marche · Stephen Marich · Stephen Mark · Stephen Marks · Stephen Morris · Stephen Morse · Steven Marsh · Steven Marx · Steven Meairs · Steven Morris · Steven Morrissey · Steven Myers

Stephan Meyer