Language:
English
繁體中文
Help
圖資館首頁
Login
Back
to Search results for
[ subject:"Temporal automata" ]
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal techniques, modelling and ana...
~
(1998 :)
Formal techniques, modelling and analysis of timed and fault-tolerant systemsjoint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Formal techniques, modelling and analysis of timed and fault-tolerant systemsYassine Lakhnech, Sergio Yovine (eds.).
Reminder of title:
joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /
other author:
Lakhnech, Y.
corporate name:
Published:
Berlin ;Springer,c2004.
Description:
x, 395 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer e-books
Subject:
Computer simulation
Online resource:
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/b100824
ISBN:
9783540231677 (paper)
Formal techniques, modelling and analysis of timed and fault-tolerant systemsjoint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /
Formal techniques, modelling and analysis of timed and fault-tolerant systems
joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /[electronic resource] :Yassine Lakhnech, Sergio Yovine (eds.). - Berlin ;Springer,c2004. - x, 395 p. :ill., digital ;24 cm. - Lecture notes in computer science,32530302-9743 ;.
ISBN: 9783540231677 (paper)Subjects--Topical Terms:
253358
Computer simulation
LC Class. No.: QA76.9.C65 / F676 2004
Dewey Class. No.: 003.3
Formal techniques, modelling and analysis of timed and fault-tolerant systemsjoint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /
LDR
:01106nmm 2200229 a 4500
001
217338
003
GreenPo
005
20081016113148.0
006
m d
007
cr nn 008maaau
008
091014s2004 gw j eng d
020
$a
9783540231677 (paper)
035
$a
978-3-540-23167-7
050
0 0
$a
QA76.9.C65
$b
F676 2004
082
0 0
$a
003.3
$2
22
090
$a
QA76.9.C65
$b
F724 2004
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Formal techniques, modelling and analysis of timed and fault-tolerant systems
$h
[electronic resource] :
$b
joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /
$c
Yassine Lakhnech, Sergio Yovine (eds.).
260
#
$a
Berlin ;
$a
New York :
$c
c2004.
$b
Springer,
300
$a
x, 395 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
3253
650
# 0
$a
Computer simulation
$3
253358
650
# 0
$a
Temporal automata
$v
Congresses.
$3
444632
650
# 0
$a
Formal methods (Computer science)
$3
277520
650
# 0
$a
Machine theory
$v
Congresses.
$3
442590
650
# 0
$a
Robots
$v
Popular works.
$3
437295
700
1 #
$a
Lakhnech, Y.
$q
(Yassine)
$3
451831
700
1 #
$a
Yovine, Sergio.
$3
346651
710
2 #
$a
SpringerLink (Online service)
$3
273601
711
2 #
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
773
0 #
$t
Springer e-books
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/b100824
950
$a
Computer Science (Lecture Notes in Computer Science)
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
000000030266
電子館藏
1圖書
電子書
EB QA76.9.C65 F724 2004
一般使用(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/b100824
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login