Tools

LEADER 02395cam a2200541Ia 4500

001 ocm71264755;

003 OCoLC;

005 20141211192302.0;

008 060901s2006 gw 101 0 eng d;

010 a| 2006930417;

020 a| 3540372156;

020 a| 9783540372158;

029 1 a| YDXCPb| 2471962;

035 a| (Sirsi) o71264755;

035 a| (OCoLC)71264755;

049 a| EREE;

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

111 2 a| International Symposium of Formal Methods Europen| (14th :d| 2006 :c| Hamilton, Ont.)=| ^A1216290;

245 10 a| FM 2006 :b| formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /c| Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.).;

246 30 a| 14th International Symposium on Formal Methods;

246 3 a| Fourteenth International Symposium on Formal Methods;

246 30 a| International Symposium on Formal Methods;

300 a| xv, 620 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| 4085,x| 0302-9743 ;;

500 a| "FME"--Cover.;

504 a| Includes bibliographical references and index.;

530 a| Also available on the World Wide Web.;

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| Misra, Jayadev.=| ^A253897;

700 1 a| Nipkow, Tobias,d| 1958-=| ^A354447;

700 1 a| Sekerinski, E.q| (Emil),d| 1963-=| ^A701542;

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

856 41 z| Available to Stanford-affiliated users at:u| http://www.springerlink.com/openurl.asp?genre=journal&issn=0302-9743&volume=4085;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Baker & Taylorb| BKTYc| 100.00d| 100.00i| 3540372156n| 0006930734s| active;

938 a| YBP Library Servicesb| YANKn| 2471962;

980 a| 2006-10-19b| 100d| 0e| 95f| 985264;

596 a| 1;

998 a| 1059603;

999 a| QA76.76.D47 I593 2006w| LCc| 1i| 30372014235169d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERp| $95.00r| Ys| Yt| JGESBKu| 10/30/2006x| BOOKz| JSTACKSo| .STAFF. 0;

FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.).

Author/creator	International Symposium of Formal Methods Europe
Other author	Misra, Jayadev.
Other author	Nipkow, Tobias, 1958-
Other author	Sekerinski, E. (Emil), 1963-
Format	Book
Publication Info	Berlin ; New York : Springer, ©2006.
Description	xv, 620 pages : illustrations ; 24 cm.
Supplemental Content	Available to Stanford-affiliated users at
Subjects	Computer software--Development. --Congresses. Formal methods (Computer science)--Congresses. System design--Mathematics. --Congresses.

Portion of title	14th International Symposium on Formal Methods
Variant title	Fourteenth International Symposium on Formal Methods
Portion of title	International Symposium on Formal Methods
Series	Lecture notes in computer science ; 4085, 0302-9743 ; Lecture notes in computer science 4085. ^A466336
General note	"FME"--Cover.
Bibliography note	Includes bibliographical references and index.
Other forms	Also available on the World Wide Web.
LCCN	2006930417
ISBN	3540372156
ISBN	9783540372158

FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.).

Click here for more information about this title