PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

005.1
Craig, Iain D.
       Formal Refinement for Operating System Kernels [electronic resource] / / by Iain D. Craig. .- XV, 332 p.. online resource.
QA76.758
ISBN: 9781846289675
10.1007/978-1-84628-967-5 doi
Subject Headings:
Computer science.;
Software engineering.;
Computer Science.;
Software Engineering/Programming and Operating Systems.;
Copy Details:
Acc. No.: EBK1523, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------

Powered by Koha