Matches in Library of Congress for { <http://lccn.loc.gov/2009938877> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2009938877 alternative "Formal Methods for Agent-Based Systems".
- 2009938877 alternative "Formal Methods for Web Services".
- 2009938877 alternative "South-East European Workshop on Formal Methods".
- 2009938877 contributor B11732795.
- 2009938877 contributor B11732796.
- 2009938877 contributor B11732797.
- 2009938877 created "c2009.".
- 2009938877 date "2009".
- 2009938877 date "c2009.".
- 2009938877 dateCopyrighted "c2009.".
- 2009938877 description "Includes bibliographical references and index.".
- 2009938877 extent "x, 79 p. :".
- 2009938877 identifier "0769539432 (pbk.)".
- 2009938877 identifier "9780769539430 (pbk.)".
- 2009938877 issued "2009".
- 2009938877 issued "c2009.".
- 2009938877 language "eng".
- 2009938877 publisher "Los Alamitos, Calif. : IEEE Computer Society,".
- 2009938877 subject "004.6/54 23".
- 2009938877 subject "Formal methods (Computer science) Congresses.".
- 2009938877 subject "QA76.9.F67 S68 2009".
- 2009938877 subject "Service-oriented architecture (Computer science) Congresses.".
- 2009938877 title "Formal Methods for Agent-Based Systems".
- 2009938877 title "Formal Methods for Web Services".
- 2009938877 title "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.".
- 2009938877 title "South-East European Workshop on Formal Methods".
- 2009938877 type "text".