Tools

LEADER 02414cam a2200565Ia 4500

001 ocm61029994;

003 OCoLC;

005 20141211183247.0;

007 cr un- ;

008 050715s2005 gw 101 0 eng d;

010 a| 2005928720;

020 a| 3540278826 (pbk.);

020 a| 9783540278825;

035 a| (Sirsi) o61029994;

035 a| (OCoLC)61029994;

049 a| EREE;

072 7 a| Q2| lcco;

090 a| QA76.76.D47b| I593 2005;

111 2 a| International Symposium of Formal Methods Europen| (13th :d| 2005 :c| Newcastle upon Tyne, England)=| ^A1216289;

245 10 a| FM 2005 :b| formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /c| John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.).;

246 3 a| Formal methods 2005;

246 30 a| International Symposium of Formal Methods Europe;

246 14 a| FME;

246 3 a| Formal methods Europe;

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

300 a| xiv, 558 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| 3582,x| 0302-9743 ;;

500 a| "13th International Symposium of Formal Methods Europe"--Pref.;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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

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

650 0 a| System designv| Congresses.=| ^A121730;

700 1 a| Fitzgerald, John,d| 1965-=| ^A409820;

700 1 a| Hayes, Ian.=| ^A318026;

700 1 a| Tarlecki, Andrzej.=| ^A241197;

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

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3582z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har055015736c| 72.76 EUR;

938 a| Baker & Taylorb| BKTYc| 95.00d| 95.00i| 3540278826n| 0006529349s| active;

980 a| 2005-09-14b| 95d| 0e| 90.25f| 669278;

596 a| 1;

998 a| 1009869;

999 a| QA76.76.D47 I593 2005w| LCc| 1i| 30372013440356d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERp| $90.25r| Ys| Yt| JGESBKu| 9/21/2005x| BOOKz| JSTACKSo| .STAFF. 0;

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.).

Author/creator	International Symposium of Formal Methods Europe
Other author	Fitzgerald, John, 1965-
Other author	Hayes, Ian.
Other author	Tarlecki, Andrzej.
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2005.
Description	xiv, 558 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Computer software--Development. --Congresses. Formal methods (Computer science)--Congresses. System design--Congresses.

Variant title	Formal methods 2005
Portion of title	International Symposium of Formal Methods Europe
Cover title	FME
Variant title	Formal methods Europe
Series	Lecture notes in computer science ; 3582, 0302-9743 ; Lecture notes in computer science 3582. ^A466336
General note	"13th International Symposium of Formal Methods Europe"--Pref.
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005928720
ISBN	3540278826 (pbk.)
ISBN	9783540278825

Availability

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

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.).

Click here for more information about this title

Availability