Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal methods for components and ob...
~
(1998 :)
Formal methods for components and objectssecond international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Formal methods for components and objectsFrank S. de Boer ... [et al.] (eds.).
Reminder of title:
second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
remainder title:
FMCO 2003
other author:
Boer, Frank S. de.
corporate name:
Published:
Berlin ;Springer,c2004.
Description:
viii, 371 p. :ill., digital ;24 cm.
Contained By:
Springer e-books
Subject:
Formal methods (Computer science)
Online resource:
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/b100112
ISBN:
9783540229421 (paper)
Formal methods for components and objectssecond international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
Formal methods for components and objects
second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /[electronic resource] :FMCO 2003Frank S. de Boer ... [et al.] (eds.). - Berlin ;Springer,c2004. - viii, 371 p. :ill., digital ;24 cm. - Lecture notes in computer science,3188.0302-9743 ;. - Lecture notes in computer science ;4891..
ISBN: 9783540229421 (paper)Subjects--Topical Terms:
277520
Formal methods (Computer science)
LC Class. No.: QA76.9.F67 / F532 2003
Dewey Class. No.: 004.0151
Formal methods for components and objectssecond international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
LDR
:00991nmm 2200241 a 4500
001
217333
003
GreenPo
005
20081016112153.0
006
m d
007
cr nn 008maaau
008
091014s2004 gw j eng d
020
$a
9783540229421 (paper)
035
$a
978-3-540-22942-1
050
0 0
$a
QA76.9.F67
$b
F532 2003
082
0 0
$a
004.0151
$2
22
090
$a
QA76.9.F67
$b
F648 2003
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Formal methods for components and objects
$h
[electronic resource] :
$b
second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
$c
Frank S. de Boer ... [et al.] (eds.).
246
3 0
$a
FMCO 2003
260
#
$a
Berlin ;
$a
New York :
$c
c2004.
$b
Springer,
300
$a
viii, 371 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
3188.
$a
Tutorial
650
# 0
$a
Formal methods (Computer science)
$3
277520
650
# 0
$a
Component software
$v
Congresses.
$3
443657
650
# 0
$a
Object-oriented programming (Computer science)
$x
Congresses.
$3
229260
700
1 #
$a
Boer, Frank S. de.
$3
285202
710
2 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer e-books
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
830
0
$a
Lecture notes in computer science.
$p
Tutorial.
$3
346472
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/b100112
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
000000030261
電子館藏
1圖書
電子書
EB QA76.9.F67 F648 2003
一般使用(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/b100112
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login