Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
UnfoldingsA Partial-Order Approach t...
~
Esparza, Javier.
UnfoldingsA Partial-Order Approach to Model Checking /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Unfoldingsby Javier Esparza, Keijo Heljanko.
Reminder of title:
A Partial-Order Approach to Model Checking /
Author:
Esparza, Javier.
other author:
Heljanko, Keijo.
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008.
Description:
172 p. :ill., digital ;24 cm.
Series:
Monographs in Theoretical Computer Science An EATCS Series,
Contained By:
Springer eBooks
Subject:
Operating systems (Computers)
Online resource:
http://dx.doi.org/10.1007/978-3-540-77426-6
ISBN:
9783540774259 (paper)
UnfoldingsA Partial-Order Approach to Model Checking /
Esparza, Javier.
Unfoldings
A Partial-Order Approach to Model Checking /[electronic resource] :by Javier Esparza, Keijo Heljanko. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008. - 172 p. :ill., digital ;24 cm. - Monographs in Theoretical Computer Science An EATCS Series,1431-2654.
ISBN: 9783540774259 (paper)Subjects--Topical Terms:
182106
Operating systems (Computers)
Dewey Class. No.: 005.43
UnfoldingsA Partial-Order Approach to Model Checking /
LDR
:00910nmm _22002295a_450
001
185723
003
Springer
005
19980131092409.0
006
m d
007
cr nn 008maaau
008
090528s2008 gw j eng d
020
$a
9783540774259 (paper)
020
$a
9783540774266 (electronic bk.)
035
$a
00331371
082
0 0
$2
22
$a
005.43
090
$a
QA76.76
$b
.E77 2008
100
0
$a
Esparza, Javier.
$3
277050
245
1 0
$a
Unfoldings
$b
A Partial-Order Approach to Model Checking /
$c
by Javier Esparza, Keijo Heljanko.
$h
[electronic resource] :
260
#
$a
Berlin, Heidelberg :
$c
2008.
$b
Springer-Verlag Berlin Heidelberg,
300
$a
172 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Monographs in Theoretical Computer Science An EATCS Series,
$x
1431-2654
650
# 0
$a
Operating systems (Computers)
$3
182106
650
# 0
$a
Computer Science.
$3
212513
650
# 0
$a
Logics and Meanings of Programs.
$3
275357
650
# 0
$a
Software Engineering.
$3
274511
650
# 0
$a
Theory of Computation.
$3
274475
700
0 #
$a
Heljanko, Keijo.
$3
277049
710
0 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer eBooks
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/978-3-540-77426-6
$z
http://dx.doi.org/10.1007/978-3-540-77426-6
950
$a
Computer Science (Springer-11645; ZDB-2-SCS)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000011097
電子館藏
1圖書
電子書
EB QA76.76 .E77 2008
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/978-3-540-77426-6
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login