000 08469cam a2201309 a 4500
001 ocn184982145
003 OCoLC
005 20250703143855.0
006 m o d
007 cr cn|||||||||
008 071221s2007 gw a ob 111 0 eng d
010 _z 2007935177
040 _aGW5XE
_beng
_epn
_cGW5XE
_dGW5XE
_dWAU
_dCOF
_dGZM
_dCOO
_dYNG
_dNUI
_dOCLCQ
_dE7B
_dUBC
_dMND
_dOCLCQ
_dBEDGE
_dOCLCQ
_dOCLCO
_dYDXCP
_dIDEBK
_dOCLCQ
_dOCLCO
_dSLY
_dOCLCO
_dEBLCP
_dOCLCQ
_dOCLCO
_dVT2
_dOCLCQ
_dUAB
_dESU
_dOCLCQ
_dOCLCO
_dU3W
_dOCLCF
_dSTF
_dOCLCQ
_dCEF
_dOCLCQ
_dOCLCO
_dWYU
_dICG
_dYOU
_dOCLCQ
_dOCLCO
_dAUD
_dWURST
_dOCLCQ
_dSFB
_dLUN
_dEUX
_dOCLCQ
_dINARC
_dOCLCO
_dCOM
_dOCLCO
_dOCLCQ
_dOCL
_dOCLCQ
_dDCT
_dLIP
_dINT
_dOCLCO
_dOCLCL
016 7 _a98545525X
_2DE-101
019 _a181335963
_a232301841
_a288313145
_a607352969
_a613683655
_a648325943
_a880098556
_a964876871
_a1005820896
_a1035705090
_a1044317871
_a1056389891
_a1066442359
_a1077264511
_a1081276865
_a1087420588
_a1105590247
_a1125453207
_a1126438105
_a1136326537
_a1136409360
_a1167940714
_a1170638768
_a1170668291
_a1204071414
_a1238746973
_a1244079604
_a1262673202
_a1280867742
_a1280921134
_a1374609563
020 _a9783540752219
020 _a3540752218
020 _a9783540752202
020 _a354075220X
020 _a9788354075226
_q(9)
020 _a8354075222
024 7 _a10.1007/978-3-540-75221-9
_2doi
029 1 _aAU@
_b000042438464
029 1 _aAU@
_b000042554315
029 1 _aAU@
_b000043253047
029 1 _aAU@
_b000060029752
029 1 _aHEBIS
_b192086235
029 1 _aNZ1
_b12055259
029 1 _aDKDLA
_b820120-katalog:999914416405765
029 1 _aAU@
_b000077593299
035 _a(OCoLC)184982145
_z(OCoLC)181335963
_z(OCoLC)232301841
_z(OCoLC)288313145
_z(OCoLC)607352969
_z(OCoLC)613683655
_z(OCoLC)648325943
_z(OCoLC)880098556
_z(OCoLC)964876871
_z(OCoLC)1005820896
_z(OCoLC)1035705090
_z(OCoLC)1044317871
_z(OCoLC)1056389891
_z(OCoLC)1066442359
_z(OCoLC)1077264511
_z(OCoLC)1081276865
_z(OCoLC)1087420588
_z(OCoLC)1105590247
_z(OCoLC)1125453207
_z(OCoLC)1126438105
_z(OCoLC)1136326537
_z(OCoLC)1136409360
_z(OCoLC)1167940714
_z(OCoLC)1170638768
_z(OCoLC)1170668291
_z(OCoLC)1204071414
_z(OCoLC)1238746973
_z(OCoLC)1244079604
_z(OCoLC)1262673202
_z(OCoLC)1280867742
_z(OCoLC)1280921134
_z(OCoLC)1374609563
037 _a978-3-540-75220-2
_bSpringer
_nhttp://www.springerlink.com
050 4 _aQA76.9.F67
_bF524 2007eb
072 7 _aQA
_2lcco
072 7 _aUMZ
_2bicssc
072 7 _aUL
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ.
_2thema
072 7 _aUL.
_2thema
082 0 4 _a004.01/51
_222
084 _aTP274-532
_2clc
049 _aMAIN
245 0 0 _aFormal methods and hybrid real-time systems :
_bessays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
_cCliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).
260 _aBerlin ;
_aNew York :
_bSpringer,
_c©2007.
300 _a1 online resource (xvi, 538 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v4700.
_aFestschrift
490 1 _aLNCS sublibrary. SL1, Theoretical computer science and general issues
500 _aPapers 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 _aIncludes bibliographical references and index.
588 0 _aPrint version record.
505 0 _aModels 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 _aEnglish.
600 1 0 _aBjørner, D.
_q(Dines),
_d1937-
_vCongresses.
_922729
600 1 0 _aZhou, Chaochen,
_d1937-
_vCongresses.
_922730
600 1 6 _aBjørner, Dines,
_d1937-
_9925800
600 1 6 _aChaochen, Zhou.
_9925801
600 1 7 _aBjørner, D.,
_d1937-
_2cct
_922731
600 1 7 _aZhou, Chaochen,
_d1937-
_2cct
_922732
600 1 7 _aBjørner, D.
_q(Dines),
_d1937-
_2fast
_1https://id.oclc.org/worldcat/entity/E39PBJxmJDtPGM4wxcVm7hy68C
_916821
650 0 _aFormal methods (Computer science)
_vCongresses.
_915679
650 0 _aReal-time data processing
_vCongresses.
_917072
650 2 _aElectronic Data Processing
_96665
650 6 _aMéthodes formelles (Informatique)
_vCongrès.
_918838
650 6 _aTemps réel (Informatique)
_vCongrès.
_9966839
650 6 _aInformatique.
_914930
650 0 7 _aFormal methods (Computer science)
_2cct
_915635
650 0 7 _aReal-time data processing.
_2cct
_917075
650 7 _aInformatique.
_2eclas
_914930
650 7 _aFormal methods (Computer science)
_2fast
_915635
650 7 _aReal-time data processing
_2fast
_917075
653 0 0 _awiskunde
653 0 0 _amathematics
653 0 0 _acomputerwetenschappen
653 0 0 _acomputer sciences
653 0 0 _acomputernetwerken
653 0 0 _acomputer networks
653 0 0 _alogica
653 0 0 _alogic
653 0 0 _asoftware engineering
653 1 0 _aInformation and Communication Technology (General)
653 1 0 _aInformatie- en communicatietechnologie (algemeen)
655 2 _aCongress
_911670
655 7 _aproceedings (reports)
_2aat
655 7 _aFestschriften
_2fast
_9109631
655 7 _aConference papers and proceedings
_2fast
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
655 7 _aFestschriften.
_2lcgft
_9109631
655 7 _aActes de congrès.
_2rvmgf
_9609890
700 1 _aBjørner, D.
_q(Dines),
_d1937-
_1https://id.oclc.org/worldcat/entity/E39PBJxmJDtPGM4wxcVm7hy68C
_916821
700 1 _aZhou, Chaochen,
_d1937-
_1https://id.oclc.org/worldcat/entity/E39PBJdrJg4jgCjmbR48VBM3wC
_922732
700 1 _aJones, C. B.
_q(Cliff B.),
_d1944-
_1https://id.oclc.org/worldcat/entity/E39PBJrCbVMbTp4CfWh7MvTT73
_914693
700 1 _aLiu, Zhiming,
_d1961-
_1https://id.oclc.org/worldcat/entity/E39PBJtmq4TH9DjvDGCygTtYfq
_922649
700 1 _aWoodcock, Jim.
_922650
758 _ihas work:
_aFormal methods and hybrid real-time systems (Text)
_1https://id.oclc.org/worldcat/entity/E39PCFGHxjxHK3HtGhv8C3hgDq
_4https://id.oclc.org/worldcat/ontology/hasWork
773 0 _tSpringer eBooks
776 0 8 _iPrint version:
_tFormal methods and hybrid real-time systems.
_dBerlin ; New York : Springer, ©2007
_z9783540752202
_z354075220X
_w(DLC) 2007935177
_w(OCoLC)173071271
830 0 _aLecture notes in computer science ;
_v4700.
830 0 _aLecture notes in computer science.
_pFestschrift.
_919696
830 0 _aLNCS sublibrary.
_nSL 1,
_pTheoretical computer science and general issues.
_920736
856 4 0 _uhttps://link.springer.com/10.1007/978-3-540-75221-9
938 _aProQuest Ebook Central
_bEBLB
_nEBL6711206
938 _aEBL - Ebook Library
_bEBLB
_nEBL3061703
938 _aebrary
_bEBRY
_nebr10190546
938 _aProQuest MyiLibrary Digital eBook Collection
_bIDEB
_ncis23787671
938 _aInternet Archive
_bINAR
_nformalmethodshyb0000unse
938 _aYBP Library Services
_bYANK
_n3024844
994 _a92
_bATIST
999 _c636509
_d636509