Time for verification : essays in memory of Amir Pnueli (e-book)

Contributor(s): Manna, Zohar [Editor] | Peled, Doron A [Editor]Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.6200 | LNCS Sublibrary : SL 1 – Theoretical computer science and general issuesPublication details: Berlin Springer 2010ISBN: 978-3-642-13754-9Subject(s): Computer Science and Engineering | Computer software -- Verification -- Congresses | Logic design -- CongressesOnline resources: Click here to access online
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number URL Status Date due Barcode Item holds
E-Books E-Books Central Library, IITB
Online 		Link to resource Online EBK284
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha