000			02360cam a22005297a 4500
001			15928577
003			UDS
005			20170516073051.0
008			091001s2009 gw a b 101 0 eng d
010			_a 2009938267
015			_a09,N21,0048 _2dnb
016	7		_a993987737 _2DE-101
020			_a9783642019173 (pbk.)
020			_a364201917X (pbk.)
035			_a(OCoLC)ocn351306359
040			_aLC _bENG _cLC _dUDS
050	0	0	_aQA76.9.F67 _bF51
084			_aSS 4800 _2rvk
111	2		_aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems _n(9th : _d2009 : _cBertinoro, Italy)
245	1	0	_aFormal methods for web services : _b9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures / _cMarco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.).
260			_aBerlin ; _aNew York : _bSpringer, _c2009.
300			_avi, 339 p. : _bill. ; _c24 cm.
490	1		_aLecture notes in computer science, _x0302-9743 ; _v5569
490	1		_aTutorial
504			_aIncludes bibliographical references and index.
600			_2Mathematics
650		0	_aFormal methods (Computer science) _vCongresses.
650		0	_aInternet _vCongresses.
650		4	_aWeb Services _xFormale Methode _vKongress _zBertinoro <2009>
650		4	_aWeb Services _xServiceorientierte Architektur _xFormale Methode _vKongress _zBertinoro <2009>
650	0	7	_aFormale Methode. _2swd
650	0	7	_aServiceorientierte Architektur. _2swd
650	0	7	_aWeb Services. _2swd
655		7	_aBertinoro (2009) _2swd
655		7	_aKongress. _2swd
700	1		_aBernardo, Marco.
700	1		_aPadovani, Luca.
700	1		_aZavattaro, Gianluigi.
830		0	_aLecture notes in computer science ; _v5569.
830		0	_aLecture notes in computer science. _pTutorial.
856	4	1	_3Table of contents _uhttp://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017583423&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
856	4	1	_uhttp://d-nb.info/993987737/04 _3Inhaltsverzeichnis
906			_a7 _bcbc _ccopycat _d2 _encip _f20 _gy-gencatlg
942			_2lcc _cBK
999			_c18563 _d18563