Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (Record no. 27686)

000 -LEADER
fixed length control field 00521nmm a2200145Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230202s9999||||xx |||||||||||||||||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540461470
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
245 #0 - TITLE STATEMENT
Title Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
250 ## - EDITION STATEMENT
Edition statement 1989
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Springer Berlin Heidelberg
Date of publication, distribution, etc. 1989
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Lecture Notes in Computer Science
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer Science
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/BFb0013019">https://doi.org/10.1007/BFb0013019</a>
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
      Accessible Online ICTS ICTS 02/02/2023 EBK17831 02/02/2023 https://doi.org/10.1007/BFb0013019 02/02/2023 electronic book