Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal modeling and analysis of time...
~
(1998 :)
Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Formal modeling and analysis of timed systemsedited by Franck Cassez, Claude Jard.
Reminder of title:
6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
other author:
Jard, Claude.
corporate name:
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008.
Description:
xi, 294 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Computer simulation
Online resource:
http://dx.doi.org/10.1007/978-3-540-85778-5
ISBN:
9783540857778 (paper)
Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
Formal modeling and analysis of timed systems
6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /[electronic resource] :edited by Franck Cassez, Claude Jard. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008. - xi, 294 p. :ill., digital ;24 cm. - Lecture notes in computer science,52150302-9743 ;.
ISBN: 9783540857778 (paper)Subjects--Topical Terms:
253358
Computer simulation
LC Class. No.: QA76.9.C65 / F676 2008
Dewey Class. No.: 004.33
Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
LDR
:00987nam _22002415a_450
001
197912
003
Springer
005
20081030164451.0
006
m d
007
cr nn 008maaau
008
090528s2008 gw j eng d
020
$a
9783540857778 (paper)
020
$a
9783540857785 (electronic bk.)
035
$a
00354551
050
0 0
$a
QA76.9.C65
$b
F676 2008
082
0 4
$2
22
$a
004.33
090
$a
QA76.9.C65
$b
F723 2008
111
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Formal modeling and analysis of timed systems
$b
6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
$c
edited by Franck Cassez, Claude Jard.
$h
[electronic resource] :
260
$a
Berlin, Heidelberg :
$c
2008.
$b
Springer-Verlag Berlin Heidelberg,
300
$a
xi, 294 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$v
5215
$x
0302-9743 ;
650
$a
Computer simulation
$3
253358
650
$a
Temporal automata
$v
Congresses.
$3
444632
650
$a
Formal methods (Computer science)
$3
277520
650
$a
Automata
$v
Congresses.
$3
444633
650
$a
Computer Science.
$3
212513
650
$a
Logics and Meanings of Programs.
$3
275357
650
$a
Models and Principles.
$3
273718
650
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
$a
Software Engineering.
$3
274511
650
$a
System Performance and Evaluation.
$3
273898
650
$a
Theory of Computation.
$3
274475
700
$a
Jard, Claude.
$3
305978
700
$a
Cassez, Franck,
$d
1967-
$3
305977
710
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-540-85778-5
$z
http://dx.doi.org/10.1007/978-3-540-85778-5
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
000000022178
電子館藏
1圖書
電子書
EB QA76.9.C65 F723 2008
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-540-85778-5
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login