Tools

LEADER 01987cam a2200505Ia 4500

001 ocm75927640;

003 OCoLC;

005 20141211192912.0;

008 061110s2006 gw a 101 0 eng d;

010 a| 2006935874;

016 7 a| 9815672822| GyFmDB;

020 a| 9783540489283 (pbk.);

020 a| 3540489282 (pbk.);

020 a| 9783540489283;

029 0 a| OHXb| har060137982;

029 1 a| YDXCPb| 2491512;

035 a| (Sirsi) o75927640;

035 a| (OCoLC)75927640;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.9.F67b| I86 2004;

111 2 a| ISoLA 2004d| (2004 :c| Paphos, Cyprus)=| ^A704610;

245 10 a| Leveraging applications of formal methods :b| first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /c| Tiziana Margaria, Bernhard Steffen (eds.).;

246 30 a| ISoLA 2004;

300 a| viii, 196 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| 4313,x| 0302-9743 ;;

504 a| Includes bibliographical references and index.;

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

700 1 a| Margaria-Steffen, Tiziana,d| 1964-=| ^A704611;

700 1 a| Steffen, Bernhard.=| ^A381039;

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060137982c| 44.94 EUR;

938 a| Baker & Taylorb| BKTYc| 58.00d| 58.00i| 3540489282n| 0007074195s| active;

938 a| YBP Library Servicesb| YANKn| 2491512;

980 a| 2006-12-20b| 58d| 0e| 55.1f| 30848;

596 a| 1;

998 a| 1065014;

999 a| QA76.9.F67 I86 2004w| LCc| 1i| 30372014189739d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $55.10r| Ys| Yt| JGESBKu| 1/8/2007x| BOOKz| JSTACKSo| .STAFF. 0;

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers / Tiziana Margaria, Bernhard Steffen (eds.).

Author/creator	ISoLA 2004
Other author	Margaria-Steffen, Tiziana, 1964-
Other author	Steffen, Bernhard.
Format	Book
Publication Info	Berlin ; New York : Springer, ©2006.
Description	viii, 196 pages : illustrations ; 24 cm.
Subjects	Formal methods (Computer science)--Congresses.

Portion of title	ISoLA 2004
Series	Lecture notes in computer science ; 4313, 0302-9743 ; Lecture notes in computer science 4313. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2006935874
ISBN	9783540489283 (pbk.)
ISBN	3540489282 (pbk.)
ISBN	9783540489283

Availability

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

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers / Tiziana Margaria, Bernhard Steffen (eds.).

Click here for more information about this title

Availability