WorldCat Link Resolver, the OpenURL link-server from OCLC

Geographic Information Science, vol. 3234

Java Program Verification at Nijmegen%2525253A Developments …

Java Program Verification at Nijmegen%2525253A Developments and Perspective

eBook

Authors: B. Jacobs

Page: 134-153

Published: 2004

ISBN: 9783540236351

Full text availability for this item

View Full Text Source:Geographic Information Science, vol. 3234,Geographic Information Science, vol. 3234,Springer Complete eBooks Opens in new Window

Collection: Springer Complete eBooks

Coverage:

2004

View Full Text Source:Software Security - Theories and Systems, vol. 3233,Software Security - Theories and Systems, vol. 3233,Springer Complete eBooks Opens in new Window

Collection: Springer Complete eBooks

Coverage:

2004

Request a copy of this item

Cite this item