Proceedings 2009 Fourth South-East European Workshop on Formal Methods : Formal Methods for Web Services, Formal Methods for Agent-Based Systems, 4-5 December 2009, Thessaloniki, Greece / edited by Dimitris Dranidis, Ioanna Stamatopoulou.

Author/creator South-East European Workshop on Formal Methods
Format Electronic
Publication InfoLos Alamitos, Calif. : IEEE Computer Society,
Descriptionx, 79 p. : ill. ; 28 cm.
Supplemental ContentFull text available from IEEE Electronic Library (IEL)
Supplemental ContentFull text available from IEEE Conference Proceedings Archive 2005-2009
Supplemental ContentFull text available from IEEE Electronic Library (IEL) Conference Proceedings
Subjects
Formal methods (Computer science)--Congresses.
Service-oriented architecture (Computer science)--Congresses.

Other author/creatorDranidis, Dimitris.
Other author/creatorStamatopoulou, Ioanna.
Other author/creatorCity College (University of Sheffield)
Other author/creatorSouth-East European Research Centre.
Other author/creatorIEEE Computer Society.
Other author/creatorIEEE Xplore (Online service)
Portion of title South-East European Workshop on Formal Methods
Portion of title Formal Methods for Web Services
Portion of title Formal Methods for Agent-Based Systems
General note"IEEE Computer Society Order Number P3943" -- t.p. verso.
General note" ... organised by CITY College and South-East European Research Centre (SEERC) ..." - preface (p. vii).
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009938877
ISBN9780769539430 (pbk.)
ISBN0769539432 (pbk.)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available