Cover Image

Certifying system translations using higher order theorem provers

Author: Blech, Jan Olaf
Media Type: Doctoral Thesis
Thesis
Printed Book
Language: English
Published: Berlin, Logos-Verl., 2009
University Thesis: Zugl.: Kaiserslautern, Techn. Univ., Diss., 2009
ISBN: 978-3-8325-2211-7
Subjects:
HOL

System Under Maintenance

Our Library Management System is currently under maintenance.

Item availability information is currently unavailable. There is a maintenance from 00.00 to 01.45 a.m. every day.

Internet

Index

Department Library of Computer Science (Building 36)

Status Item Information Call Number Barcode Note Functions
indeterminate 2 weeks lendable INF 454/072 109219226

Central Library (Building 32)

Status Item Information Call Number Barcode Note Functions
indeterminate 4 weeks lendable (MAG) U 124404 109219200 Not freely available, please contact the library staff
indeterminate 4 weeks lendable (MAG) U 124404 109219213 Not freely available, please contact the library staff
2.Ex