The inverse method : (Record no. 20250)

MARC details
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.