Tools

LEADER 02754cam a2200565Ia 4500

001 ocm56617050;

003 OCoLC;

005 20141212181046.0;

007 cr un---------;

008 041001s2004 gw a 101 0 eng d;

010 a| 2004112846;

016 7 a| 9721138862| GyFmDB;

020 a| 3540231692 (pbk.);

035 a| (Sirsi) o56617050;

035 a| (OCoLC)56617050;

049 a| EREE;

072 7 a| Q2| lcco;

090 a| QA76.9.F67b| F67 2004b;

111 2 a| FORTE 2004d| (2004 :c| Toledo, Spain)?| UNAUTHORIZED;

245 10 a| Applying formal methods :b| testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /c| Manuel Núñez [and others] (eds.).;

246 30 a| FORTE 2004 workshops;

246 30 a| TheFormEMC;

246 30 a| EPEW;

246 30 a| ITM;

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

300 a| xi, 379 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 3236;

500 a| "Refereed proceedings of the first edition of three workshops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) ... TheFormEMC, 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce; EPEW, 1st European Performance Engineering Workshop; ITM, 1st International Workshop on Integration of Testing Methodologies"--Pref.;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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

650 0 a| Electronic data processingx| Distributed processingv| Congresses.=| ^A419097;

650 0 a| Computer network protocolsv| Congresses.=| ^A179379;

700 1 a| Núñez, Manuelc| (Professor)=| ^A589623;

711 2 a| FormEMC (Workshop)n| (1st :d| 2004 :c| Toledo, Spain)?| UNAUTHORIZED;

711 2 a| EPEW (Workshop)n| (1st :d| 2004 :c| Toledo, Spain)?| UNAUTHORIZED;

711 2 a| ITM (Conference)n| (1st :d| 2004 :c| Toledo, Spain)?| UNAUTHORIZED;

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

856 41 u| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3236z| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har040110943c| 55.64 EUR;

980 a| 2004-12-22b| 72d| 0e| 68.4f| 510738;

596 a| 1;

998 a| 984642;

999 a| QA76.9.F67 F67 2004w| LCc| 1i| 30372012643497d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $68.40r| Ys| Yt| JGESBKu| 1/13/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / Manuel Núñez [and others] (eds.).

Author/creator	FORTE 2004
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2004.
Description	xi, 379 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Formal methods (Computer science)--Congresses. Electronic data processing--Distributed processing. --Congresses. Computer network protocols--Congresses.

Other author/creator	Núñez, Manuel (Professor)
Other author/creator	FormEMC (Workshop) 2004 : Toledo, Spain) (1st :
Other author/creator	EPEW (Workshop) 2004 : Toledo, Spain) (1st :
Other author/creator	ITM (Conference) 2004 : Toledo, Spain) (1st :
Portion of title	FORTE 2004 workshops
Portion of title	TheFormEMC
Portion of title	EPEW
Portion of title	ITM
Series	Lecture notes in computer science ; 3236 Lecture notes in computer science 3236. ^A466336
General note	"Refereed proceedings of the first edition of three workshops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) ... TheFormEMC, 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce; EPEW, 1st European Performance Engineering Workshop; ITM, 1st International Workshop on Integration of Testing Methodologies"--Pref.
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2004112846
ISBN	3540231692 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.F67 F67 2004	✔ Available	Place Hold

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / Manuel Núñez [and others] (eds.).

Click here for more information about this title

Availability