嶺東科技大學 |

Language: English

Back

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers

Record Type:	Language materials, printed : monographic
Title Information:	9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers
Secondary Intellectual Responsibility:	BeekMaurice H. ter,
Secondary Intellectual Responsibility:	LohmannN.,
Corporate Body:	WS-FM 20122012)
Place of Publication:	Berlin
Published:	Springer;
Year of Publication:	c2013
Description:	viii, 149 pagesillustrations : 24 cm.;
Series:	LNCS sublibrary. SL 2, Programming and software engineering
Subject:	Formal methods (Computer science) -
Subject:	Web services -
Subject:	Conference proceedings. -
ISBN:	3-642-38229-0pbk.
ISBN:	978-3-642-38229-1pbk.

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers
WS-FM 2012

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers / Maurice H. ter Beek, Niels Lohmann (eds.). - Berlin : Springer, c2013. - viii, 149 pages ; illustrations ; 24 cm.. - (LNCS sublibrary. SL 2, Programming and software engineering).
Includes bibliographical references and author index..
ISBN 3-642-38229-0ISBN 978-3-642-38229-1
Formal methods (Computer science)Web servicesConference proceedings.

Beek, Maurice H. ter

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers
LDR:00840nam2a2200205 4500 001 304267
005 150209200932.0
010 1 $a 3-642-38229-0 $b pbk. $d NT$1458
010 1 $a 978-3-642-38229-1 $b pbk. $d NT$1458
100 $a 20150225d2013 m y0engy50 b
101 0 $a eng
105 $a a a 101yy
200 1 $a Web services and formal methods $e 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers $f Maurice H. ter Beek, Niels Lohmann (eds.).
210 $a Berlin $d c2013 $c Springer
215 1 $a viii, 149 pages $c illustrations $d 24 cm.
225 2 # $a LNCS sublibrary. SL 2, Programming and software engineering
225 2 # $a Lecture notes in computer science $v 7843
320 $a Includes bibliographical references and author index.
517 1 $a WS-FM 2012 $z eng
606 # $a Formal methods (Computer science) $3 131133
606 # $a Web services $2 lc $3 267395
606 # $a Conference proceedings. $2 fast $3 363204
676 $a 004.0151
702 1 $a Beek $b Maurice H. ter $4 edited $3 365681
702 1 $a Lohmann $b N. $g Niels $4 edited $3 363409
710 1 2 $a WS-FM 2012 $e (Tallinn, Estonia $f 2012) $3 363410
801 0 $a tw $b 嶺東科技大學圖書館