Unfoldings (Record no. 24691)

MARC details
000 -LEADER
fixed length control field 01144nmm a22003375u 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150124122707.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100301s2008 xx j eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540774266
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Esparza, Javier.
245 10 - TITLE STATEMENT
Title Unfoldings
Medium [electronic resource] :
Remainder of title A Partial-Order Approach to Model Checking /
Statement of responsibility, etc by Javier Esparza, Keijo Heljanko.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin, Heidelberg :
Name of publisher, distributor, etc Springer-Verlag Berlin Heidelberg,
Date of publication, distribution, etc 2008.
300 ## - PHYSICAL DESCRIPTION
Other physical details v.: digital
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Monographs in Theoretical Computer Science An EATCS Series,
International Standard Serial Number 1431-2654
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software engineering
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Information theory
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic design
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Science
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logics and Meanings of Programs
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Theory of Computation
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software Engineering
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Heljanko, Keijo.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-3-540-77426-6
912 ## -
-- ZDB-2-SCS

No items available.

Powered by Koha