Partial-order methods for the verification of concurrent systems : (Record no. 639858)

MARC details
000 -LEADER
fixed length control field 05311cam a2200817 a 4500
001 - CONTROL NUMBER
control field ocn605245978
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703151310.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 bn||||||abp
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr bn||||||ada
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100406s1996 gw a ob 001 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency OCLCE
Language of cataloging eng
Description conventions pn
Transcribing agency OCLCE
Modifying agency OCLCQ
-- OCLCO
-- GW5XE
-- OCLCQ
-- CUSER
-- OCLCQ
-- OCLCF
-- ITD
-- OCLCQ
-- LIP
-- UAB
-- ESU
-- OCLCQ
-- VT2
-- SHS
-- OCLCQ
-- CEF
-- DEHBZ
-- OCLCQ
-- AU@
-- OCLCQ
-- LEAUB
-- OL$
-- OCLCQ
-- KIJ
-- INARC
-- EUX
-- OCLCQ
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number 96,A25,0604
Source dnb
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number 96,N05,0327
Source dnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 946226563
Source DE-101
019 ## -
-- 326704941
-- 608378119
-- 990474006
-- 993775657
-- 1001488274
-- 1005763415
-- 1006391124
-- 1009303831
-- 1012877901
-- 1014422282
-- 1020026137
-- 1036774840
-- 1038496113
-- 1039704007
-- 1044451369
-- 1060932996
-- 1073082640
-- 1081279583
-- 1086466348
-- 1119449747
-- 1150999421
-- 1162786901
-- 1239211859
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540494447
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540494448
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3540607617
Qualifying information (Berlin ;
-- softcover ;
-- acid-free paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540607618
Qualifying information (Berlin ;
-- softcover ;
-- acid-free paper)
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/3-540-60761-7
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051697331
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14996759
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15300191
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)605245978
Canceled/invalid control number (OCoLC)326704941
-- (OCoLC)608378119
-- (OCoLC)990474006
-- (OCoLC)993775657
-- (OCoLC)1001488274
-- (OCoLC)1005763415
-- (OCoLC)1006391124
-- (OCoLC)1009303831
-- (OCoLC)1012877901
-- (OCoLC)1014422282
-- (OCoLC)1020026137
-- (OCoLC)1036774840
-- (OCoLC)1038496113
-- (OCoLC)1039704007
-- (OCoLC)1044451369
-- (OCoLC)1060932996
-- (OCoLC)1073082640
-- (OCoLC)1081279583
-- (OCoLC)1086466348
-- (OCoLC)1119449747
-- (OCoLC)1150999421
-- (OCoLC)1162786901
-- (OCoLC)1239211859
042 ## - AUTHENTICATION CODE
Authentication code dlr
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.58
Item number .G63 1996
072 #7 - SUBJECT CATEGORY CODE
Subject category code UM
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYF
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM036000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UM
Source thema
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYF
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.2
Edition number 20
-- https://id.oclc.org/worldcat/ddc/E37WrBVmGmMrM8rPcWBJy7RtXT
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 54.52
Number source bcl
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Godefroid, Patrice.
9 (RLIN) 26956
245 10 - TITLE STATEMENT
Title Partial-order methods for the verification of concurrent systems :
Remainder of title an approach to the state-explosion problem /
Statement of responsibility, etc. Patrice Godefroid.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©1996.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (142 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
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science ;
Volume/sequential designation 1032
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (pages 133-142) and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 1. Introduction -- 2. Concurrent Systems and Semantics -- 3. Using Partial Orders to Tackle State Explosion -- 4. Persistent Sets -- 5. Sleep Sets -- 6. Verification of Safety Properties -- 7. Model Checking -- 8. Experiments -- 9. Conclusions.
506 ## - RESTRICTIONS ON ACCESS NOTE
Materials specified Use copy
Standardized terminology for access restriction Restrictions unspecified
Source of term star
Institution to which field applies MiAaHDL
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction.
Place of reproduction [Place of publication not identified] :
Agency responsible for reproduction HathiTrust Digital Library,
Date of reproduction 2010.
Institution to which field applies MiAaHDL
538 ## - SYSTEM DETAILS NOTE
System details note Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Uniform Resource Identifier <a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a>
Institution to which field applies MiAaHDL
583 1# - ACTION NOTE
Action digitized
Time/date of action 2010
Jurisdiction HathiTrust Digital Library
Status committed to preserve
Source of term pda
Institution to which field applies MiAaHDL
520 ## - SUMMARY, ETC.
Summary, etc. This monograph is a revised version of the author's Ph. D. thesis, submitted to the University of Lige, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
546 ## - LANGUAGE NOTE
Language note English.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parallel processing (Electronic computers)
9 (RLIN) 12960
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification.
9 (RLIN) 1930
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logiciels
General subdivision Vérification.
9 (RLIN) 20690
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parallélisme (Informatique)
9 (RLIN) 18914
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification
Source of heading or term fast
9 (RLIN) 1930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parallel processing (Electronic computers)
Source of heading or term fast
9 (RLIN) 12960
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parallelle verwerking.
Source of heading or term gtt
9 (RLIN) 14828
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parallélisme (informatique)
Source of heading or term ram
9 (RLIN) 18914
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logiciels
General subdivision Essais.
Source of heading or term ram
9 (RLIN) 37675
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Godefroid, Patrice.
Title Partial-order methods for the verification of concurrent systems.
Place, publisher, and date of publication Berlin ; New York : Springer, ©1996
Record control number (DLC) 95051354
-- (OCoLC)33947067
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 1032.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/3-540-60761-7">https://link.springer.com/10.1007/3-540-60761-7</a>
938 ## -
-- Internet Archive
-- INAR
-- partialordermeth0000gode
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