Welcome to Central Library, SUST

The inverse method : (Record no. 64028)

MARC details
000 -LEADER
fixed length control field 03393cam a2200793Ka 4500
001 - CONTROL NUMBER
control field sulb-eb0032376
003 - CONTROL NUMBER IDENTIFIER
control field BD-SySUS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170713221329.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
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
-- BD-SySUS
019 ## -
-- 858283994
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781118569351
International Standard Book Number 1118569350
International Standard Book Number 9781118569405
Qualifying information (electronic bk.)
International Standard Book Number 1118569407
Qualifying information (electronic bk.)
International Standard Book Number 9781118569351
Qualifying information (electronic bk.)
Canceled/invalid ISBN 9781848214477
Canceled/invalid ISBN 1848214472
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier AU@
System control number 000051629240
OCLC library identifier AU@
System control number 000052007322
OCLC library identifier AU@
System control number 000052334876
OCLC library identifier DEBBG
System control number BV041432418
OCLC library identifier DEBBG
System control number BV041908867
OCLC library identifier DEBSZ
System control number 398283346
OCLC library identifier DKDLA
System control number 820120-katalog:000655893
OCLC library identifier GBVCP
System control number 785371818
OCLC library identifier NZ1
System control number 15022303
OCLC library identifier NZ1
System control number 15340494
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 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source 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# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Embedded computer systems.
Topical term or geographic name as entry element Computer systems
General subdivision Verification.
Topical term or geographic name as entry element Embedded computer systems.
Topical term or geographic name as entry element Computer systems
General subdivision Verification.
Topical term or geographic name as entry element COMPUTERS
General subdivision General.
Source of heading or term bisacsh
Topical term or geographic name as entry element Computer systems
General subdivision Verification.
Source of heading or term fast
Authority record control number (OCoLC)fst01750859
Topical term or geographic name as entry element Embedded computer systems.
Source of heading or term fast
Authority record control number (OCoLC)fst00908298
Topical term or geographic name as entry element Embedded computer systems.
Source of heading or term local
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
Relationship information 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://onlinelibrary.wiley.com/book/10.1002/9781118569351">http://onlinelibrary.wiley.com/book/10.1002/9781118569351</a>
Public note Wiley Online Library [Free Download only for SUST IP]
938 ## -
-- 123Library
-- 123L
-- 93850
-- EBSCOhost
-- EBSC
-- 543183
-- Ingram Digital eBook Collection
-- IDEB
-- cis24878992
-- YBP Library Services
-- YANK
-- 9984855
-- YBP Library Services
-- YANK
-- 10227722
994 ## -
-- 92
-- DG1

No items available.