Real time systems formal specification and automatic verification

By: Material type: TextText 0Description: Hard Binding xiv 320ISBN:
  • 9780000000000
Subject(s): DDC classification:
  • 004.33 -R
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 Copy number Status Date due Barcode Item holds
Books Books COMSATS University Lahore Campus 004.33 -R (Browse shelf(Opens below)) 1 Available LHR 33887
Total holds: 0

English

There are no comments on this title.

to post a comment.