Specification and compositional verification of real-time systems (Record no. 33783)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00843nam a2200277Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 160511s9999||||xx |||||||||||||| ||und|| |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0-387-54947-1; 3-540-54047-1 |
| 037 ## - SOURCE OF ACQUISITION | |
| Stock number | C-182610 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Universal Decimal Classification number | 004.031.43 |
| 090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) | |
| Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) | III 13326 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | HOOMAN, Jozef |
| 245 ## - TITLE STATEMENT | |
| Title | Specification and compositional verification of real-time systems |
| 245 ## - TITLE STATEMENT | |
| Statement of responsibility, etc. | Jozef Hooman |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Berlin; Heidelberg; New York |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher, distributor, etc. | Springer-Verlag |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Date of publication, distribution, etc. | 1991 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | VIII, 235 p. tab. ; 24 cm |
| 490 ## - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science (LNCS)\\Springer\ |
| 490 ## - SERIES STATEMENT | |
| Volume/sequential designation | 558 |
| 655 ## - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | carte de studiu |
| 690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Topical term or geographic name as entry element | tehnologia informației (IT); sisteme informatice în timp real |
| 541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE | |
| Purchase price | 65600 lei |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Institution code [OBSOLETE] | III 13326 |
No items available.