言語:
日文
English
簡体中文
繁體中文
ヘルプ
ログイン
ホームページ
スイッチ:
ラベル
|
MARC形式
|
国際標準書誌記述(ISBD)
Web services and formal methods[elec...
~
Clark Conference ((2005 :)
Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
レコード種別:
言語・文字資料 (印刷物) : 単行資料
[NT 15000414] null:
004.36
タイトル / 著者:
Web services and formal methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers // edited by Emilio Tuosto, Chun Ouyang.
その他のタイトル:
WS-FM 2013
その他の著者:
Ouyang, Chun.
団体名:
Clark Conference
出版された:
Cham : : Springer International Publishing :, 2014.
記述:
ix, 189 p. : : ill., digital ;; 24 cm.
含まれています:
Springer eBooks
主題:
Web services
主題:
Formal methods (Computer science)
主題:
Computer Science.
主題:
Information Systems Applications (incl. Internet)
主題:
Software Engineering.
主題:
Management of Computing and Information Systems.
主題:
Logics and Meanings of Programs.
主題:
Programming Languages, Compilers, Interpreters.
主題:
User Interfaces and Human Computer Interaction.
国際標準図書番号 (ISBN) :
9783319082608 (electronic bk.)
国際標準図書番号 (ISBN) :
9783319082592 (paper)
電子資源:
http://dx.doi.org/10.1007/978-3-319-08260-8
Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
Web services and formal methods
10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /[electronic resource] :WS-FM 2013edited by Emilio Tuosto, Chun Ouyang. - Cham :Springer International Publishing :2014. - ix, 189 p. :ill., digital ;24 cm. - Lecture notes in computer science,83790302-9743 ;. - Lecture notes in computer science ;7103..
ISBN: 9783319082608 (electronic bk.)Subjects--Topical Terms:
219614
Web services
Dewey Class. No.: 004.36
Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
LDR
:00950nam a2200265 a 4500
001
417450
003
DE-He213
005
20141023151149.0
006
m d
007
cr nn 008maaau
008
150210s2014 gw s 0 eng d
020
$a
9783319082608 (electronic bk.)
020
$a
9783319082592 (paper)
035
$a
978-3-319-08260-8
040
$a
GP
$c
GP
041
0
$a
eng
082
0 4
$a
004.36
$2
23
090
$a
TK5105.88813
$b
.W958 2013
111
2
$a
Clark Conference
$d
(2005 :
$c
Sterling and Francine Clark Art Institute)
$3
347558
245
1 0
$a
Web services and formal methods
$h
[electronic resource] :
$b
10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
$c
edited by Emilio Tuosto, Chun Ouyang.
246
3
$a
WS-FM 2013
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2014.
300
$a
ix, 189 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
8379
650
0
$a
Web services
$3
219614
650
0
$a
Formal methods (Computer science)
$3
412292
650
1 4
$a
Computer Science.
$3
423143
650
2 4
$a
Information Systems Applications (incl. Internet)
$3
463679
650
2 4
$a
Software Engineering.
$3
464601
650
2 4
$a
Management of Computing and Information Systems.
$3
466225
650
2 4
$a
Logics and Meanings of Programs.
$3
466905
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
466913
650
2 4
$a
User Interfaces and Human Computer Interaction.
$3
464000
700
1
$a
Ouyang, Chun.
$3
590572
700
1
$a
Tuosto, Emilio.
$3
590662
710
2
$a
SpringerLink (Online service)
$3
463450
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
7103.
$3
466200
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-08260-8
950
$a
Computer Science (Springer-11645)
~に基づいて 0 論評
マルチメディア (複合媒体資料)
マルチメディアファイル
http://dx.doi.org/10.1007/978-3-319-08260-8
論評
論評を追加
あなたの考えを共有してください。
Export
受取館
処理
...
パスワードを変更する
ログイン