Tools

LEADER 01943cam 2200493Ia 4500

001 ocm71298969;

003 OCoLC;

005 20141211192614.0;

008 060908s2006 gw a 101 0 eng d;

010 a| 2006931574;

016 7 a| 98079238X2| GyFmDB;

020 a| 3540388621 (pbk.);

020 a| 9783540388623;

029 0 a| OHXb| har060111894;

035 a| (Sirsi) o71298969;

035 a| (OCoLC)71298969;

049 a| EREE;

072 7 a| TK2| lcco;

090 a| TK5105.88813b| .W74 2006;

111 2 a| WS-FM 2006d| (2006 :c| Vienna, Austria)=| ^A703186;

245 10 a| Web services and formal methods :b| third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings /c| Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.).;

246 30 a| WS-FM 2006;

260 a| Berlin ;a| New York :b| Springer,c| 2006.;

300 a| x, 287 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| 4184,x| 0302-9743 ;;

504 a| Includes bibliographical references and index.;

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

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

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

700 1 a| Núñez, Manuelc| (Professor)=| ^A589623;

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060111894c| 48.15 EUR;

938 a| Baker & Taylorb| BKTYc| 63.00d| 63.00i| 3540388621n| 0006971677s| active;

980 a| 2006-11-15b| 63d| 0e| 59.85f| 5801;

596 a| 1;

998 a| 1062341;

999 a| TK5105.88813 .W74 2006w| LCc| 1i| 30372014163338d| 4/2/2013f| 4/2/2013g| 2l| JGESm| JOYNERp| $59.85r| Ys| Yt| JGESBKu| 11/27/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.).

Author/creator	WS-FM 2006
Other author	Bravetti, Mario.
Other author	Núñez, Manuel (Professor)
Other author	Zavattaro, Gianluigi.
Format	Book
Publication Info	Berlin ; New York : Springer, 2006.
Description	x, 287 pages : illustrations ; 24 cm.
Subjects	Web services--Congresses. Formal methods (Computer science)--Congresses.

Portion of title	WS-FM 2006
Series	Lecture notes in computer science ; 4184, 0302-9743 ; Lecture notes in computer science 4184. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2006931574
ISBN	3540388621 (pbk.)
ISBN	9783540388623

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	TK5105.88813 .W74 2006	✔ Available	Place Hold

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.).

Click here for more information about this title

Availability