A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta.

By: Contributor(s): Material type: Computer fileComputer filePublication details: Dordrecht : Springer, 2006.Description: v.: digitalISBN:
  • 9781402047589
Subject(s): LOC classification:
  • TK7874.58 D37 2006
Online resources: In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Vol info URL Copy number Status Notes Date due Barcode
Libro Electrónico Libro Electrónico Biblioteca Digital Colección Digital TK7874.58 D37 2006 (Browse shelf(Opens below)) BDIG00004002 Link to resource 1 Available SpringerLink BDIG00004002

There are no comments on this title.

to post a comment.

Powered by Koha