Tools

LEADER 02413cam a2200589Ia 4500

001 ocm62229950;

003 OCoLC;

005 20141211184347.0;

008 051104s2005 gw 101 0 eng d;

010 a| 2005934587;

015 a| GBA6003882| bnb;

016 7 a| 9766326912| GyFmDB;

016 7 a| 0133412732| Uk;

020 a| 3540297979 (pbk.);

020 a| 9783540297970;

029 0 a| OHXb| har050124093;

035 a| (Sirsi) o62229950;

035 a| (OCoLC)62229950;

049 a| EREE;

050 4 a| QA76.9.F67b| I5788 2005;

072 7 a| QA2| lcco;

082 04 a| 005.1312| 22;

111 2 a| International Conference on Formal Engineering Methodsn| (7th :d| 2005 :c| Manchester, England)?| UNAUTHORIZED;

245 10 a| Formal methods and software engineering :b| 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /c| Kung-Kiu Lau, Richard Banach (eds.).;

246 30 a| 7th International Conference on Formal Engineering Methods;

246 30 a| International Conference on Formal Engineering Methods;

246 30 a| ICFEM 2005;

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

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

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| Software engineeringv| Congresses.=| ^A224279;

653 1 a| Software engineering;

653 1 a| Formal engineering methods;

653 1 a| ICFEM;

700 1 a| Lau, K.-K.q| (Kung-Kiu),d| 1953-=| ^A490150;

700 1 a| Banach, Richard.=| ^A611321;

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har050124093c| 68.48 EUR;

980 a| 2006-01-04b| 89d| 0e| 84.55f| 738903;

596 a| 1;

998 a| 1021344;

999 a| QA76.9.F67 I5788 2005w| LCc| 1i| 30372012917545d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $84.55r| Ys| Yt| JGESBKu| 1/11/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / Kung-Kiu Lau, Richard Banach (eds.).

Author/creator	International Conference on Formal Engineering Methods
Other author	Lau, K.-K. (Kung-Kiu), 1953-
Other author	Banach, Richard.
Format	Book
Publication Info	Berlin ; New York : Springer, 2005.
Description	xiv, 496 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Formal methods (Computer science)--Congresses. Software engineering--Congresses.

Portion of title	7th International Conference on Formal Engineering Methods
Portion of title	International Conference on Formal Engineering Methods
Portion of title	ICFEM 2005
Series	Lecture notes in computer science ; 3785, 0302-9743 ; Lecture notes in computer science 3785. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005934587
ISBN	3540297979 (pbk.)
ISBN	9783540297970

Availability

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

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / Kung-Kiu Lau, Richard Banach (eds.).

Click here for more information about this title

Availability