Your cart is empty.
  • Home

    Concurrency theory : (Record no. 2029)

    000 -LEADER
    fixed length control field 02062cam a2200589Ia 4500
    001 - CONTROL NUMBER
    control field u2311
    003 - CONTROL NUMBER IDENTIFIER
    control field SA-PMU
    005 - DATE AND TIME OF LATEST TRANSACTION
    control field 20210418123213.0
    008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
    fixed length control field 060117s2006 enka b 001 0 eng d
    010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
    LC control number 2005931433
    040 ## - CATALOGING SOURCE
    Original cataloging agency TEF
    Transcribing agency TEF
    Modifying agency OHX
    -- UKM
    -- BAKER
    -- DLC
    -- YDXCP
    -- BTCTA
    -- DEBBG
    015 ## - NATIONAL BIBLIOGRAPHY NUMBER
    National bibliography number GBA613149
    Source bnb
    015 ## - NATIONAL BIBLIOGRAPHY NUMBER
    National bibliography number 04,N52,0892
    Source dnb
    016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
    Record control number 013373808
    Source Uk
    020 ## - INTERNATIONAL STANDARD BOOK NUMBER
    International Standard Book Number 1852338954
    020 ## - INTERNATIONAL STANDARD BOOK NUMBER
    International Standard Book Number 9781852338954
    028 52 - PUBLISHER OR DISTRIBUTOR NUMBER
    Publisher or distributor number 11302094
    035 ## - SYSTEM CONTROL NUMBER
    System control number (OCoLC)62927715
    050 00 - LIBRARY OF CONGRESS CALL NUMBER
    Classification number QA76.58
    Item number .B69 2006
    082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
    Classification number 004/.35
    Edition number 22
    082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
    Classification number 004.015113
    Edition number 22
    084 ## - OTHER CLASSIFICATION NUMBER
    Classification number 510
    Number source sdnb
    084 ## - OTHER CLASSIFICATION NUMBER
    Classification number ST 130
    Number source rvk
    084 ## - OTHER CLASSIFICATION NUMBER
    Classification number ST 132
    Number source rvk
    029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
    OCLC library identifier OHX
    System control number har040148590
    029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
    OCLC library identifier NLGGC
    System control number 283573724
    029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
    OCLC library identifier YDXCP
    System control number 2252614
    029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
    OCLC library identifier NZ1
    System control number 10647595
    029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
    OCLC library identifier AU@
    System control number 000040325082
    029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
    OCLC library identifier DEBBG
    System control number BV021538659
    100 1# - MAIN ENTRY--PERSONAL NAME
    Personal name Bowman, Howard,
    Dates associated with a name 1966-
    245 10 - TITLE STATEMENT
    Title Concurrency theory :
    Remainder of title calculi and automata for modelling untimed and timed concurrent systems /
    Statement of responsibility, etc. Howard Bowman and Rodolfo Gomez.
    260 ## - PUBLICATION, DISTRIBUTION, ETC.
    Place of publication, distribution, etc. London :
    Name of publisher, distributor, etc. Springer,
    Date of publication, distribution, etc. c2006.
    300 ## - PHYSICAL DESCRIPTION
    Extent xxiv, 435 p. :
    Other physical details ill. ;
    Dimensions 25 cm.
    504 ## - BIBLIOGRAPHY, ETC. NOTE
    Bibliography, etc. note Includes bibliographical references (p. [397]-407) and index.
    596 ## -
    -- 1 2
    650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
    Topical term or geographic name entry element Parallel processing (Electronic computers)
    General subdivision Mathematical models.
    650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
    Topical term or geographic name entry element Machine theory.
    650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
    Topical term or geographic name entry element LOTOS (Computer program language)
    650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
    Topical term or geographic name entry element Mathematisches Modell.
    Source of heading or term swd
    650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
    Topical term or geographic name entry element Nebenläufigkeit.
    Source of heading or term swd
    700 1# - ADDED ENTRY--PERSONAL NAME
    Personal name Gomez, Rodolfo.
    856 42 - ELECTRONIC LOCATION AND ACCESS
    Materials specified Publisher description
    Uniform Resource Identifier <a href="http://catdir.loc.gov/catdir/enhancements/fy0663/2005931433-d.html">http://catdir.loc.gov/catdir/enhancements/fy0663/2005931433-d.html</a>
    856 41 - ELECTRONIC LOCATION AND ACCESS
    Materials specified Table of contents only
    Uniform Resource Identifier <a href="http://catdir.loc.gov/catdir/enhancements/fy0823/2005931433-t.html">http://catdir.loc.gov/catdir/enhancements/fy0823/2005931433-t.html</a>
    938 ## -
    -- Otto Harrassowitz
    -- HARR
    -- har040148590
    938 ## -
    -- YBP Library Services
    -- YANK
    -- 2252614
    938 ## -
    -- Baker and Taylor
    -- BTCP
    -- BK0006554707
    938 ## -
    -- Baker & Taylor
    -- BKTY
    -- 99.00
    -- 99.00
    -- 1852338954
    -- 0006554707
    -- active
    942 ## - ADDED ENTRY ELEMENTS (KOHA)
    Koha item type Books
    994 ## -
    -- Z0
    -- SUPMU
    948 ## - LOCAL PROCESSING INFORMATION (OCLC); SERIES PART DESIGNATOR (RLIN)
    h (OCLC) NO HOLDINGS IN SUPMU - 127 OTHER HOLDINGS
    Holdings
    Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Full call number Date last seen Price effective from Koha item type Public note
            Female Library Female Library 04/15/2021   QA76.58 .B69 2006 04/15/2021 04/15/2021 Books STACKS
            Main Library Main Library 04/15/2021   QA76.58 .B69 2006 04/15/2021 04/15/2021 Books STACKS