Real-Time Systems Formal Specification and Automatic Verification (Record no. 23448)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00313nam a22000977a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 131023b xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 978-0-521-88333-7 |
| Terms of availability | Available |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | 519.2HEN |
| 245 ## - TITLE STATEMENT | |
| Title | Real-Time Systems Formal Specification and Automatic Verification |
| Statement of responsibility, etc. | Henning Dierks |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Germany |
| Name of publisher, distributor, etc. | Cambridge |
| Date of publication, distribution, etc. | 2008 |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Permanent Location | Current Location | Shelving location | Date acquired | Total Checkouts | Barcode | Date last seen | Date last checked out | Price effective from | Koha item type | Total Renewals |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 10/23/2013 | 2 | RCMS002619 | 01/13/2016 | 10/07/2015 | 10/23/2013 | Book | ||||||
| School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 10/23/2013 | 1 | RCMS002621 | 01/19/2016 | 10/06/2015 | 10/23/2013 | Book | ||||||
| School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 10/23/2013 | 1 | RCMS002622 | 03/16/2016 | 09/07/2015 | 10/23/2013 | Book | ||||||
| School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 10/23/2013 | 4 | RCMS002623 | 10/17/2017 | 09/27/2017 | 10/23/2013 | Book | 1 | |||||
| School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | 10/23/2013 | 3 | RCMS002624 | 06/12/2019 | 09/10/2015 | 10/23/2013 | Book | 1 |