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

Amazon cover image
Image from Amazon.com

Modeling in event-B : system and software engineering

By: Material type: TextTextPublication details: Cambridge Cambridge University Press 2010Description: xxvi, 586pISBN:
  • 9780521895569
Subject(s): DDC classification:
  • 004.0151 Ab87m
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number URL Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur COMPACT STORAGE (BASEMENT) 004.0151 Ab87m (Browse shelf(Opens below)) Link to resource Available A171558
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha