Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-6 of 6 results for author "Merz, Stephan."
Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 97-167 Offsite Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 F67 1996g Off-site Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet.
- Text
- London : ISTE ; Hoboken, NJ : John Wiley, 2008.
- 2008
- 1 Item
Available Online
http://www.loc.gov/catdir/enhancements/fy0806/2007045063-t.htmlItem details Format Call Number Item Location Text QA76.54 .M635 2008 Off-site Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text TK7895.M4 F675 1996 Off-site Temporal logic and state systems / Fred Kröger, Stephen Merz.
- Text
- Berlin : Springer, c2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text BC199.T4 K76 2008 Off-site Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text TK7895.M4 F675 1996 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
