Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-3 of 3 results
Real-time systems : specification, verification, and analysis / edited by Mathai Joseph.
- Text
- London ; New York : Prentice Hall, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Book/Text QA76.54 .R4298 1995 Off-site Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup.
- Text
- Berlin ; New York : Springer-Verlag, 1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Book/Text QA76.6 .P75119 Off-site Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Book/Text QA76.9.A96 T97 1994 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.
