Title:
Cafe an industrial-strength algebraic formal method
Author:
Futatsugi, Kokichi.
ISBN:
9780444505569
Edition:
1st ed.
Publication Information:
Amsterdam ; New York : Elsevier, 2000.
Physical Description:
1 online resource (xiv, 193 p.) : ill.
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 253753-1001 | ONLINE | Searching... | Searching... |