Tools

LEADER 02420cam 2200553Ia 4500

001 ocm75253433;

003 OCoLC;

005 20141211193223.0;

008 061103s2006 gw a b 101 0 eng d;

010 a| 2006934465;

016 7 a| 9812576822| GyFmDB;

020 a| 3540474609 (pbk.);

029 0 a| OHXb| har060128287;

029 1 a| YDXCPb| 2502697;

035 a| (Sirsi) o75253433;

035 a| (OCoLC)75253433;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.9.F67b| I5788 2006;

111 2 a| International Conference on Formal Engineering Methodsn| (8th :d| 2006 :c| Macau, China)?| UNAUTHORIZED;

245 10 a| Formal methods and software engineering :b| 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings /c| Zhiming Liu, Jifeng He (eds.).;

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

246 3 a| Eighth International Conference on Formal Engineering Methods;

246 30 a| International Conference on Formal Engineering Methods;

246 30 a| ICFEM 2006;

300 a| xii, 778 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| 4260,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;

700 1 a| Liu, Zhiming,d| 1961-=| ^A597220;

700 1 a| He, Jifeng,d| 1943-=| ^A474759;

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060128287c| 89.88 EUR;

938 a| Baker & Taylorb| BKTYc| 117.00d| 117.00i| 3540474609n| 0007088262s| active;

938 a| YBP Library Servicesb| YANKn| 2502697;

980 a| 2007-01-24b| 117d| 0e| 111.15f| 54826;

596 a| 1;

998 a| 1068371;

999 a| QA76.9.F67 I5788 2006w| LCc| 1i| 30372014072182d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $111.15r| Ys| Yt| JGESBKu| 2/6/2007x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings / Zhiming Liu, Jifeng He (eds.).

Author/creator	International Conference on Formal Engineering Methods
Other author	Liu, Zhiming, 1961-
Other author	He, Jifeng, 1943-
Format	Book
Publication Info	Berlin ; New York : Springer, ©2006.
Description	xii, 778 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Formal methods (Computer science)--Congresses. Software engineering--Congresses.

Portion of title	8th International Conference on Formal Engineering Methods
Variant title	Eighth International Conference on Formal Engineering Methods
Portion of title	International Conference on Formal Engineering Methods
Portion of title	ICFEM 2006
Series	Lecture notes in computer science ; 4260, 0302-9743 ; Lecture notes in computer science 4260. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2006934465
ISBN	3540474609 (pbk.)

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings / Zhiming Liu, Jifeng He (eds.).

Click here for more information about this title