Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Web services and formal methods4th i...
~
(1998 :)
Web services and formal methods4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Web services and formal methodsMarlon Dumas, Reiko Heckel (eds.).
Reminder of title:
4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
remainder title:
WS-FM 2007
other author:
Dumas, Marlon.
corporate name:
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008.
Description:
viii, 168 p. :ill., digital ;24 cm.
Series:
LNCS sublibrary.
Contained By:
Springer eBooks
Subject:
Web servicesCongresses.
Online resource:
http://dx.doi.org/10.1007/978-3-540-79230-7
ISBN:
9783540792291 (paper)
Web services and formal methods4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
Web services and formal methods
4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /[electronic resource] :WS-FM 2007Marlon Dumas, Reiko Heckel (eds.). - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008. - viii, 168 p. :ill., digital ;24 cm. - LNCS sublibrary.SL 2,Programming and software engineering.
Includes bibliographical references and index.
ISBN: 9783540792291 (paper)Subjects--Topical Terms:
384499
Web services
--Congresses.
Dewey Class. No.: 005.43
Web services and formal methods4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
LDR
:01175nmm _22002775a_450
001
185924
003
Springer
005
20080602163020.0
006
m d
007
cr nn 008maaau
008
090528s2008 gw j eng d
020
$a
9783540792291 (paper)
020
$a
9783540792307 (electronic bk.)
035
$a
00331572
082
0 4
$2
22
$a
005.43
090
$a
TK5105.88813
$b
.W958 2007
111
0
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Web services and formal methods
$b
4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
$c
Marlon Dumas, Reiko Heckel (eds.).
$h
[electronic resource] :
246
3 0
$a
WS-FM 2007
260
#
$a
Berlin, Heidelberg :
$c
2008.
$b
Springer-Verlag Berlin Heidelberg,
300
$a
viii, 168 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
LNCS sublibrary.
$n
SL 2,
$p
Programming and software engineering
440
0
$a
Lecture notes in computer science,
$v
4937
$x
0302-9743 ;
504
$a
Includes bibliographical references and index.
530
$a
Also issued online.
650
# 0
$a
Web services
$v
Congresses.
$3
384499
650
# 0
$a
Formal methods (Computer science)
$3
277520
650
# 0
$a
Computer Science.
$3
212513
650
# 0
$a
Computer Communication Networks.
$3
218087
650
# 0
$a
Logics and Meanings of Programs.
$3
275357
650
# 0
$a
Management of Computing and Information Systems.
$3
274191
650
# 0
$a
Software Engineering.
$3
274511
650
# 0
$a
System Performance and Evaluation.
$3
273898
700
0 #
$a
Dumas, Marlon.
$3
246190
700
0 #
$a
Heckel, Reiko.
$3
277543
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-79230-7
$z
http://dx.doi.org/10.1007/978-3-540-79230-7
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
000000011298
電子館藏
1圖書
電子書
EB TK5105.88813 .W958 2007
一般使用(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-79230-7
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login