Normal view MARC view ISBD view

No title

HAILPERN,BRENT T

VERIFYING CONCURRENT PROCESSES USING TEMPORAL LOGIC - 1 - BERLIN SV 1982 - 208

ISBN: NCST 105

Dewey Class. No.: 219

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Facebook Youtube Instagram Linkedin

Find us on the map

Contact Us

Library
Avior Technologies Private Limited
Canal Street, Sreebhumi, Lake Town, South Dumdum, West Bengal

Ph: 8583963369

KOLKATA WEATHER

Powered by Koha