Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-8 of 8 results for author "Spies, Katharina."
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 Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.
- Text
- Amsterdam ; Washington, DC : IOS Press, c2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Text JSE 07-150 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 Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.
- Text
- Amsterdam ; Washington, DC : IOS Press, [2006], ©2006.
- 2006-2006
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 N38 2003g 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 Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.
- Text
- Amsterdam ; Washington, DC : IOS Press, c2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 N38 2006 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 Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.
- Text
- Amsterdam ; Washington, DC : IOS Press, ©2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 N38 2006 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.
