Formal methods and hybrid real-time systems : (Record no. 636509)

MARC details
000 -LEADER
fixed length control field 08469cam a2201309 a 4500
001 - CONTROL NUMBER
control field ocn184982145
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703143855.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 cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 071221s2007 gw a ob 111 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
Canceled/invalid LC control number 2007935177
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency GW5XE
-- WAU
-- COF
-- GZM
-- COO
-- YNG
-- NUI
-- OCLCQ
-- E7B
-- UBC
-- MND
-- OCLCQ
-- BEDGE
-- OCLCQ
-- OCLCO
-- YDXCP
-- IDEBK
-- OCLCQ
-- OCLCO
-- SLY
-- OCLCO
-- EBLCP
-- OCLCQ
-- OCLCO
-- VT2
-- OCLCQ
-- UAB
-- ESU
-- OCLCQ
-- OCLCO
-- U3W
-- OCLCF
-- STF
-- OCLCQ
-- CEF
-- OCLCQ
-- OCLCO
-- WYU
-- ICG
-- YOU
-- OCLCQ
-- OCLCO
-- AUD
-- WURST
-- OCLCQ
-- SFB
-- LUN
-- EUX
-- OCLCQ
-- INARC
-- OCLCO
-- COM
-- OCLCO
-- OCLCQ
-- OCL
-- OCLCQ
-- DCT
-- LIP
-- INT
-- OCLCO
-- OCLCL
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 98545525X
Source DE-101
019 ## -
-- 181335963
-- 232301841
-- 288313145
-- 607352969
-- 613683655
-- 648325943
-- 880098556
-- 964876871
-- 1005820896
-- 1035705090
-- 1044317871
-- 1056389891
-- 1066442359
-- 1077264511
-- 1081276865
-- 1087420588
-- 1105590247
-- 1125453207
-- 1126438105
-- 1136326537
-- 1136409360
-- 1167940714
-- 1170638768
-- 1170668291
-- 1204071414
-- 1238746973
-- 1244079604
-- 1262673202
-- 1280867742
-- 1280921134
-- 1374609563
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540752219
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540752218
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540752202
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 354075220X
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788354075226
Qualifying information (9)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 8354075222
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-540-75221-9
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000042438464
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000042554315
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000043253047
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060029752
029 1# - (OCLC)
OCLC library identifier HEBIS
System control number 192086235
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 12055259
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:999914416405765
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000077593299
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)184982145
Canceled/invalid control number (OCoLC)181335963
-- (OCoLC)232301841
-- (OCoLC)288313145
-- (OCoLC)607352969
-- (OCoLC)613683655
-- (OCoLC)648325943
-- (OCoLC)880098556
-- (OCoLC)964876871
-- (OCoLC)1005820896
-- (OCoLC)1035705090
-- (OCoLC)1044317871
-- (OCoLC)1056389891
-- (OCoLC)1066442359
-- (OCoLC)1077264511
-- (OCoLC)1081276865
-- (OCoLC)1087420588
-- (OCoLC)1105590247
-- (OCoLC)1125453207
-- (OCoLC)1126438105
-- (OCoLC)1136326537
-- (OCoLC)1136409360
-- (OCoLC)1167940714
-- (OCoLC)1170638768
-- (OCoLC)1170668291
-- (OCoLC)1204071414
-- (OCoLC)1238746973
-- (OCoLC)1244079604
-- (OCoLC)1262673202
-- (OCoLC)1280867742
-- (OCoLC)1280921134
-- (OCoLC)1374609563
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-540-75220-2
Source of stock number/acquisition Springer
Note http://www.springerlink.com
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.F67
Item number F524 2007eb
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UL
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ.
Source thema
072 #7 - SUBJECT CATEGORY CODE
Subject category code UL.
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.01/51
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number TP274-532
Number source clc
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
245 00 - TITLE STATEMENT
Title Formal methods and hybrid real-time systems :
Remainder of title essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
Statement of responsibility, etc. Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2007.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xvi, 538 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
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 4700.
Series statement Festschrift
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL1, Theoretical computer science and general issues
500 ## - GENERAL NOTE
General note Papers presented at a symposium held in Macao, China, Sept. 24-25, 2007 during the course of the International Colloquium on Theoretical Aspects of Computing.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Models and Software Model Checking of a Distributed File Replication System -- From "Formal Methods" to System Modeling -- A Denotational Semantics for Handel-C -- Generating Polynomial Invariants with DISCOVERER and QEPCAD -- Harnessing rCOS for Tool Support -- The CoCoME Experience -- Automating Verification of Cooperation, Control, and Design in Traffic Applications -- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus -- Relating Domain Concepts Intensionally by Ordering Connections -- Programmable Messaging for Electronic Government -- Building a Foundation -- Balancing Insight and Effort: The Industrial Uptake of Formal Methods -- Proving Theorems About JML Classes -- Specification for Testing -- Semantics and Verification of a Language for Modelling Hardware Architectures -- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems -- Compensable Programs -- Deriving Specifications for Systems That Are Connected to the Physical World -- Engineering the Development of Embedded Systems -- Design Verification Patterns -- On Revival of Algol-Concepts in Modern Programming and Specification Languages -- Design in CommUnity with Extension Morphisms -- Symbolic Test Generation Using a Temporal Logic with Constrained Events -- Expansive-Bisimulation for Context-Free Processes -- VDM Semantics of Programming Languages: Combinators and Monads -- Formal Approach to Railway Applications -- Services as a Paradigm of Computation.
546 ## - LANGUAGE NOTE
Language note English.
600 10 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Bjørner, D.
Fuller form of name (Dines),
Dates associated with a name 1937-
Form subdivision Congresses.
9 (RLIN) 22729
600 10 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Zhou, Chaochen,
Dates associated with a name 1937-
Form subdivision Congresses.
9 (RLIN) 22730
600 16 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Bjørner, Dines,
Dates associated with a name 1937-
9 (RLIN) 925800
600 16 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Chaochen, Zhou.
9 (RLIN) 925801
600 17 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Bjørner, D.,
Dates associated with a name 1937-
Source of heading or term cct
9 (RLIN) 22731
600 17 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Zhou, Chaochen,
Dates associated with a name 1937-
Source of heading or term cct
9 (RLIN) 22732
600 17 - SUBJECT ADDED ENTRY--PERSONAL NAME
Personal name Bjørner, D.
Fuller form of name (Dines),
Dates associated with a name 1937-
Source of heading or term fast
-- https://id.oclc.org/worldcat/entity/E39PBJxmJDtPGM4wxcVm7hy68C
9 (RLIN) 16821
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Form subdivision Congresses.
9 (RLIN) 15679
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Real-time data processing
Form subdivision Congresses.
9 (RLIN) 17072
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic Data Processing
9 (RLIN) 6665
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Méthodes formelles (Informatique)
Form subdivision Congrès.
9 (RLIN) 18838
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Temps réel (Informatique)
Form subdivision Congrès.
9 (RLIN) 966839
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
9 (RLIN) 14930
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Source of heading or term cct
9 (RLIN) 15635
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Real-time data processing.
Source of heading or term cct
9 (RLIN) 17075
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
Source of heading or term eclas
9 (RLIN) 14930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Source of heading or term fast
9 (RLIN) 15635
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Real-time data processing
Source of heading or term fast
9 (RLIN) 17075
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term wiskunde
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term mathematics
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computerwetenschappen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer sciences
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computernetwerken
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer networks
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term logica
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term logic
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term software engineering
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Information and Communication Technology (General)
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Informatie- en communicatietechnologie (algemeen)
655 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congress
9 (RLIN) 11670
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term proceedings (reports)
Source of term aat
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Festschriften
Source of term fast
9 (RLIN) 109631
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings
Source of term fast
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Festschriften.
Source of term lcgft
9 (RLIN) 109631
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Actes de congrès.
Source of term rvmgf
9 (RLIN) 609890
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Bjørner, D.
Fuller form of name (Dines),
Dates associated with a name 1937-
-- https://id.oclc.org/worldcat/entity/E39PBJxmJDtPGM4wxcVm7hy68C
9 (RLIN) 16821
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Zhou, Chaochen,
Dates associated with a name 1937-
-- https://id.oclc.org/worldcat/entity/E39PBJdrJg4jgCjmbR48VBM3wC
9 (RLIN) 22732
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jones, C. B.
Fuller form of name (Cliff B.),
Dates associated with a name 1944-
-- https://id.oclc.org/worldcat/entity/E39PBJrCbVMbTp4CfWh7MvTT73
9 (RLIN) 14693
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Liu, Zhiming,
Dates associated with a name 1961-
-- https://id.oclc.org/worldcat/entity/E39PBJtmq4TH9DjvDGCygTtYfq
9 (RLIN) 22649
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Woodcock, Jim.
9 (RLIN) 22650
758 ## -
-- has work:
-- Formal methods and hybrid real-time systems (Text)
-- https://id.oclc.org/worldcat/entity/E39PCFGHxjxHK3HtGhv8C3hgDq
-- https://id.oclc.org/worldcat/ontology/hasWork
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Title Formal methods and hybrid real-time systems.
Place, publisher, and date of publication Berlin ; New York : Springer, ©2007
International Standard Book Number 9783540752202
-- 354075220X
Record control number (DLC) 2007935177
-- (OCoLC)173071271
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 4700.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science.
Name of part/section of a work Festschrift.
9 (RLIN) 19696
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title LNCS sublibrary.
Number of part/section of a work SL 1,
Name of part/section of a work Theoretical computer science and general issues.
9 (RLIN) 20736
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/978-3-540-75221-9">https://link.springer.com/10.1007/978-3-540-75221-9</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL6711206
938 ## -
-- EBL - Ebook Library
-- EBLB
-- EBL3061703
938 ## -
-- ebrary
-- EBRY
-- ebr10190546
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- cis23787671
938 ## -
-- Internet Archive
-- INAR
-- formalmethodshyb0000unse
938 ## -
-- YBP Library Services
-- YANK
-- 3024844
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha