Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-11 of 11 results
Compliance quantified / Rudolf Avenhaus, Morton John Canty.
- Text
- Cambridge ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text UA12.5 .A99 1996 Off-site Wat is waarheid? Waarheid en verificatie in kerk en theologie. Een bundel opstellen onder red. van G.C. Berkouwer en A.S. van der Woude.
- Text
- Kampen, Kok, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text 5707.167 Off-site Verification, how much is enough? / Allan S. Krass.
- Text
- London ; Philadelphia : Taylor & Francis, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text UA12.5 .K73 1985 Off-site The verification issue in United Nations disarmament negotiations / Ellis Morris.
- Text
- New York : United Nations, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text GV.87.O.4 Off-site CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA267 .C5927 1990 Off-site Software verification and validation : realistic project approaches / Michael S. Deutsch.
- Text
- Englewood Cliffs, New Jersey : Prentice-Hall, [1982]
- 1982-1982
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .D48 Off-site Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog.
- Text
- New York : Springer-Verlag, ©1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.76.V47 A67 1991 Off-site Verification under the Chemical Weapons Convention : on-site inspection in chemical industry facilities / Ralf Trapp.
- Text
- Oxford [England] ; New York : Oxford University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text UA12.5 .T73 1993q Oversize Off-site Higher order logic and hardware verification / T. Melham.
- Text
- Cambridge ; New York : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text TK7874 .M432 1993 Off-site Verification of disarmament or limitation of armaments : instruments, negotiations, proposals / edited by Serge Sur.
- Text
- New York : United Nations, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text GV.92.O.10 Off-site La vérification des accords sur le désarmement et la limitation des armements : moyens, méthodes et pratiques / sous la direction de Serge Sur.
- Text
- New York : Nations Unies, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text GV.91.O.9 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.
