Tools

LEADER 01794cam a2200445 a 4500

001 ocm52858527;

003 OCoLC;

005 20141212172545.0;

008 030804s2003 gw a b 101 0 eng ;

010 a| 2003058587;

020 a| 3540408282 (alk. paper);

035 a| (Sirsi) o52858527;

035 a| (OCoLC)52858527;

040 a| DLCc| DLCd| YDXd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.76.D47b| I593 2003;

082 00 a| 005.12| 22;

111 2 a| International Symposium of Formal Methods Europen| (12th :d| 2003 :c| Pisa, Italy)=| ^A1216288;

245 10 a| FME 2003 :b| formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /c| Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.).;

300 a| xvii, 942 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| 2805;

504 a| Includes bibliographical references.;

650 0 a| Computer softwarex| Developmentv| Congresses.=| ^A191775;

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

650 0 a| System designx| Mathematicsv| Congresses.=| ^A123910;

700 1 a| Araki, Keijirō,d| 1954-=| ^A563626;

700 1 a| Gnesi, Stefania,d| 1954-=| ^A563627;

700 1 a| Mandrioli, Dino.=| ^A387582;

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

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2003-11-05b| 119d| 7.91e| 113.05f| 287226;

596 a| 1;

998 a| 925497;

999 a| QA76.76.D47 I593 2003w| LCc| 1i| 30372012143639d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERp| $113.05r| Ys| Yt| JGESBKu| 11/13/2003x| BOOKz| JSTACKSo| .STAFF. 0;

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.).

Author/creator	International Symposium of Formal Methods Europe
Other author	Araki, Keijirō, 1954-
Other author	Gnesi, Stefania, 1954-
Other author	Mandrioli, Dino.
Format	Book
Publication Info	Berlin ; New York : Springer, ©2003.
Description	xvii, 942 pages : illustrations ; 24 cm.
Subjects	Computer software--Development. --Congresses. Formal methods (Computer science)--Congresses. System design--Mathematics. --Congresses.

Series	Lecture notes in computer science ; 2805 Lecture notes in computer science 2805. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	2003058587
ISBN	3540408282 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.D47 I593 2003	✔ Available	Place Hold

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.).

Click here for more information about this title

Availability