Export record to excel
File type to download
Books
Author / Creator:Parle, Andrew Jeremy.
Publisher:North Ryde, NSW : Division of Information Technology, CSIRO Australia, 1989.
Date:1989.
Call Numbers:TQ062201
For use in the Library
6 results for formal+verification
6 results for formal+verification
Export record to excel
File type to download
Export record to excel
File type to download
BooksAuthor / Creator:Milne, George J., 1952-Publisher:London ; Sydney : McGraw-Hill, c1994.Export record to excel
File type to download
BooksAuthor / Creator:Shand, M. A. (Mark A.)Publisher:[Sydney] : Basser Dept. of Computer Science, University of Sydney, 1986.Date:1986.Call Numbers:621.381/3For use in the LibraryExport record to excel
File type to download
BooksAuthor / Creator:Burrough, P. A.Publisher:Oxford ; New York : Oxford University Press, 1998.Date:1998.Call Numbers:N910.285/18For use in the LibraryExport record to excel
File type to download
BooksAuthor / Creator:Traub, J. F. (Joseph Frederick), 1932-Publisher:Cambridge, U.K. ; New York, NY, USA : Cambridge University Press, 1998.Date:1998.Call Numbers:T0391860For use in the LibraryExport record to excel
File type to download
BooksPublisher:London, UK ; New Jersey : Imperial College Press, [2016]Call Numbers:G 2015/3861For use in the Library