The inverse method : (Record no. 20250)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03075cam a2200733Ka 4500 |
001 - CONTROL NUMBER | |
control field | ocn828869668 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20220701010913.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
fixed length control field | m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr cnu---unuuu |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 130304s2013 enka ob 001 0 eng d |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | N$T |
Language of cataloging | eng |
Description conventions | pn |
Transcribing agency | N$T |
Modifying agency | YDXCP |
-- | CUS |
-- | DG1 |
-- | IDEBK |
-- | OCLCO |
-- | UMI |
-- | COO |
-- | DEBSZ |
-- | UKDOC |
-- | OCLCQ |
-- | OCLCF |
-- | DEBBG |
-- | OCLCQ |
019 ## - | |
-- | 858283994 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9781118569351 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 1118569350 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9781118569405 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 1118569407 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9781118569351 |
Qualifying information | (electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Cancelled/invalid ISBN | 9781848214477 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Cancelled/invalid ISBN | 1848214472 |
029 1# - (OCLC) | |
OCLC library identifier | AU@ |
System control number | 000051629240 |
029 1# - (OCLC) | |
OCLC library identifier | AU@ |
System control number | 000052007322 |
029 1# - (OCLC) | |
OCLC library identifier | AU@ |
System control number | 000052334876 |
029 1# - (OCLC) | |
OCLC library identifier | DEBBG |
System control number | BV041432418 |
029 1# - (OCLC) | |
OCLC library identifier | DEBBG |
System control number | BV041908867 |
029 1# - (OCLC) | |
OCLC library identifier | DEBSZ |
System control number | 398283346 |
029 1# - (OCLC) | |
OCLC library identifier | DKDLA |
System control number | 820120-katalog:000655893 |
029 1# - (OCLC) | |
OCLC library identifier | GBVCP |
System control number | 785371818 |
029 1# - (OCLC) | |
OCLC library identifier | NZ1 |
System control number | 15022303 |
029 1# - (OCLC) | |
OCLC library identifier | NZ1 |
System control number | 15340494 |
029 1# - (OCLC) | |
OCLC library identifier | DEBBG |
System control number | BV043395553 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (OCoLC)828869668 |
Canceled/invalid control number | (OCoLC)858283994 |
037 ## - SOURCE OF ACQUISITION | |
Stock number | CL0500000291 |
Source of stock number/acquisition | Safari Books Online |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | TK7895.E42 |
Item number | .A53 2013eb |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | COM |
Subject category code subdivision | 000000 |
Source | bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 006.22 |
Edition number | 23 |
049 ## - LOCAL HOLDINGS (OCLC) | |
Holding library | MAIN |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | André, Etienne. |
245 14 - TITLE STATEMENT | |
Title | The inverse method : |
Remainder of title | parametric verification of real-time embedded systems / |
Statement of responsibility, etc | Étienne André, Romain Soulat. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc | London : |
Name of publisher, distributor, etc | ISTE ; |
Place of publication, distribution, etc | Hoboken, N.J. : |
Name of publisher, distributor, etc | Wiley, |
Date of publication, distribution, etc | 2013. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource (xviii, 150 pages) : |
Other physical details | illustrations. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
490 1# - SERIES STATEMENT | |
Series statement | Focus series in computer engineering and IT |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes bibliographical references (pages 137-147) and index. |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Parametric timed automata -- The inverse method for parametric timed automata -- The inverse method in practice: application to case studies -- Behavioral cartography of timed automata -- Parameter synthesis for hybrid automata -- Application to the robustness analysis of scheduling problems -- Conclusion and perspectives -- Bibliography -- Index. |
588 0# - | |
-- | Print version record. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Embedded computer systems. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer systems |
General subdivision | Verification. |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Embedded computer systems. |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer systems |
General subdivision | Verification. |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | COMPUTERS |
General subdivision | General. |
Source of heading or term | bisacsh |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer systems |
General subdivision | Verification. |
Source of heading or term | fast |
-- | (OCoLC)fst01750859 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Embedded computer systems. |
Source of heading or term | fast |
-- | (OCoLC)fst00908298 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Embedded computer systems. |
Source of heading or term | local |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer systems / Verification. |
Source of heading or term | local |
655 #4 - INDEX TERM--GENRE/FORM | |
Genre/form data or focus term | Electronic books. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Soulat, Romain. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Print version: |
Main entry heading | André, Étienne. |
Title | Inverse method. |
Place, publisher, and date of publication | London : ISTE ; Hoboken, N.J. : Wiley, 2013 |
International Standard Book Number | 9781848214477 |
Record control number | (DLC) 2012953075 |
-- | (OCoLC)828037066 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Focus series in computer engineering and IT. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="http://dx.doi.org/10.1002/9781118569351">http://dx.doi.org/10.1002/9781118569351</a> |
Public note | Wiley Online Library |
994 ## - | |
-- | 92 |
-- | DG1 |
No items available.