Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal techniques for networked and ...
~
(1998 :)
Formal techniques for networked and distributed systems, FORTE 200323rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Formal techniques for networked and distributed systems, FORTE 2003Hartmut Konig, Monika Heiner, Adam Wolisz (eds.).
Reminder of title:
23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
other author:
Konig, Hartmut,
corporate name:
Published:
Berlin ;Springer,c2003.
Description:
xii, 429 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer e-books
Subject:
Formal methods (Computer science)
Online resource:
http://dx.doi.org/10.1007/11965
ISBN:
9783540201755 (paper)
Formal techniques for networked and distributed systems, FORTE 200323rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
Formal techniques for networked and distributed systems, FORTE 2003
23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /[electronic resource] :Hartmut Konig, Monika Heiner, Adam Wolisz (eds.). - Berlin ;Springer,c2003. - xii, 429 p. :ill., digital ;24 cm. - Lecture notes in computer science,27670302-9743 ;.
ISBN: 9783540201755 (paper)Subjects--Topical Terms:
277520
Formal methods (Computer science)
LC Class. No.: QA76.9.F67 / F67 2003
Dewey Class. No.: 004.0151
Formal techniques for networked and distributed systems, FORTE 200323rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
LDR
:00948nmm 2200229 a 4500
001
216436
003
GreenPo
005
20081016094009.0
006
m d
007
cr nn 008maaau
008
091014s2003 gw j eng d
020
$a
9783540201755 (paper)
035
$a
978-3-540-20175-5
050
0 0
$a
QA76.9.F67
$b
F67 2003
082
0 0
$a
004.0151
$2
22
090
$a
QA76.9.F67
$b
F737 2003
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Formal techniques for networked and distributed systems, FORTE 2003
$h
[electronic resource] :
$b
23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
$c
Hartmut Konig, Monika Heiner, Adam Wolisz (eds.).
260
$a
Berlin ;
$a
New York :
$c
c2003.
$b
Springer,
300
$a
xii, 429 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
2767
650
0
$a
Formal methods (Computer science)
$3
277520
650
0
$a
Electronic data processing
$x
Distributed processing
$x
Congresses.
$3
184432
650
0
$a
Computer network protocols
$x
Congresses.
$3
203936
700
1
$a
Konig, Hartmut,
$c
Prof. Dr.-Ing. habil.
$3
344461
700
1
$a
Heiner, Monika,
$d
1954-
$3
344462
700
1
$a
Wolisz, Adam.
$3
344463
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer e-books
856
4 0
$u
http://dx.doi.org/10.1007/11965
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
000000029364
電子館藏
1圖書
電子書
EB QA76.9.F67 F737 2003
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/11965
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login