Image from Amazon.com
Image from Google Jackets
Image from OpenLibrary
Industrial-strength formal methods in practice / Michael G. Hinchey and Jonathan P. Bowen, (eds.).
Material type:
TextSeries: Formal approaches to computing and information technologyPublication details: Berlin ; New York : Springer, c1999.Description: xvi, 400 p. : ill. ; 24 cmISBN: - 1852336404 (alk. paper)
- 537.54 PRA 2003 21
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Open Shelf
|
MUST Main Library | 537.54 PRA 2003 (Browse shelf(Opens below)) | Available | 2024-21088 |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.