Tools

LEADER 02123cam 22004934a 4500

001 ocm61430353;

003 OCoLC;

005 20141211184015.0;

008 050902s2005 gw a b 101 0 eng c;

010 a| 2005931522;

020 a| 3540287019 (pbk.);

020 a| 9783540287018 (pbk.);

035 a| (Sirsi) o61430353;

035 a| (OCoLC)61430353;

040 a| OHXc| OHXd| ZCUd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 4 a| QA76.9.E94b| E64 2005;

111 2 a| EPEW (Workshop)d| (2005 :c| Versailles, France)?| UNAUTHORIZED;

245 10 a| Formal techniques for computer systems and business processes :b| European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings /c| Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.).;

246 30 a| EPEW 2005;

246 30 a| WS-FM 2005;

300 a| xiii, 348 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 3670,x| 0302-9743 ;;

504 a| Includes bibliographical references and index.;

650 0 a| Computer systemsx| Evaluationv| Congresses.=| ^A1236889;

650 0 a| Telecommunication systemsx| Evaluationv| Congresses.=| ^A95081;

650 0 a| Formal methods (Computer science)v| Congresses.=| ^A422971;

650 0 a| Web servicesv| Congresses.=| ^A1243733;

700 1 a| Bravetti, Mario.=| ^A609260;

700 1 a| Kloul, Leïla.=| ^A609261;

700 1 a| Zavattaro, Gianluigi.=| ^A604801;

711 2 a| International Workshop on Web Services and Formal Methodsd| (2005 :c| Versailles, France)=| ^A609262;

830 0 a| Lecture notes in computer sciencev| 3670.=| ^A466336;

994 a| 92b| ERE;

910 a| PromptCat;

980 a| 2005-11-16b| 72d| 0e| 68.4f| 709419;

596 a| 1;

998 a| 1017822;

999 a| QA76.9.E94 E64 2005w| LCc| 1i| 30372012879323d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $68.40r| Ys| Yt| JGESBKu| 11/23/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings / Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.).

Author/creator	EPEW (Workshop)
Format	Book
Publication Info	Berlin ; New York : Springer, ©2005.
Description	xiii, 348 pages : illustrations ; 24 cm.
Subjects	Computer systems--Evaluation. --Congresses. Telecommunication systems--Evaluation. --Congresses. Formal methods (Computer science)--Congresses. Web services--Congresses.

Other author/creator	Bravetti, Mario.
Other author/creator	Kloul, Leïla.
Other author/creator	Zavattaro, Gianluigi.
Other author/creator	International Workshop on Web Services and Formal Methods (2005 : Versailles, France)
Portion of title	EPEW 2005
Portion of title	WS-FM 2005
Series	Lecture notes in computer science ; 3670, 0302-9743 ; Lecture notes in computer science 3670. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2005931522
ISBN	3540287019 (pbk.)
ISBN	9783540287018 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.E94 E64 2005	✔ Available	Place Hold

Click here for more information about this title

Availability