ASCOT Library Zabali Campus

Your cart is empty.
opac banner

Handbook of Model Checking

by Edmund M. Clarke Published by : Springer International Publishing AG (USA) Physical details: p.1211 ebook ISBN:978-3-319-10574-1. Year: 2018
Online resources:
List(s) this item appears in: Ebooks
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode
Books Books ASCOT Library - Zabali Campus
General Reference 		General Reference Available 9921

There are no comments on this title.

to post a comment.

Powered by Koha