Tools

LEADER 01763cam a22004334a 4500

001 ocm46359453;

003 OCoLC;

005 20141212155909.0;

007 cr unu--------;

008 010221s2001 gw a b 101 0 eng ;

010 a| 2001020501;

015 a| GBA1-19062;

019 a| 46651781;

020 a| 3540417915 (softcover : alk. paper);

035 a| (Sirsi) o46359453;

035 a| (OCoLC)46359453;

042 a| pcc;

049 a| EREE;

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

082 00 a| 005.12| 21;

111 2 a| International Symposium of Formal Methods Europen| (10th :d| 2001 :c| Berlin, Germany)=| ^A1216287;

245 10 a| FME 2001 :b| formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings /c| José Nuno Oliveira, Pamela Zave (eds.).;

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

300 a| xiii, 628 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| 2021;

504 a| Includes bibliographical references and index.;

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

700 1 a| Oliveira, José N.=| ^A417302;

700 1 a| Zave, Pamela,d| 1948-=| ^A489192;

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

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2021.htm;

994 a| X0b| ERE;

596 a| 1;

998 a| 848683;

999 a| QA76.76.D47 I593 2001w| LCc| 1i| 30372011159628d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERp| $74.10r| Ys| Yt| JGESBKu| 7/19/2001x| BOOKz| JSTACKSo| .STAFF. 0;

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.).

Author/creator	International Symposium of Formal Methods Europe
Other author	Oliveira, José N.
Other author	Zave, Pamela, 1948-
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2001.
Description	xiii, 628 pages : illustrations ; 24 cm.
Supplemental Content	http://link.springer-ny.com/link/service/series/0558/tocs/t2021.htm
Subjects	Computer software--Development. --Congresses.

Series	Lecture notes in computer science ; 2021 Lecture notes in computer science 2021. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2001020501
ISBN	3540417915 (softcover : alk. paper)

Availability

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

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.).

Click here for more information about this title

Availability