Tools

LEADER 01700cam a22004214a 4500

001 ocm42296292;

003 OCoLC;

005 20141212133019.0;

008 990812s1999 gw a b 101 0 eng ;

010 a| 99044590;

015 a| GB99-68941;

019 a| 42579331a| 42651551;

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

035 a| (Sirsi) o42296292;

035 a| (OCoLC)42296292;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.F67b| I59 1998;

082 00 a| 005.13/12| 21;

111 2 a| International Workshop on Current Trends in Applied Formal Methodsd| (1998 :c| Boppard, Germany)=| ^A422970;

245 10 a| Applied formal methods--FM-Trends 98 :b| International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /c| Dieter Hutter [and others].;

300 a| xi, 376 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| 1641;

504 a| Includes bibliographical references and index.;

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

650 4 a| Formal methods (Computer science)v| Congresses.;

700 1 a| Hutter, Dieter.=| ^A422972;

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

910 a| PromptCat;

980 a| 2000-01-05b| 62d| 3.12e| 52.08f| 96776;

596 a| 1;

998 a| 663029;

999 a| QA76.9.F67 I59 1998w| LCc| 1i| 30372010630504d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $52.08r| Ys| Yt| JGESBKu| 1/28/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter [and others].

Author/creator	International Workshop on Current Trends in Applied Formal Methods
Other author	Hutter, Dieter.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1999.
Description	xi, 376 pages : illustrations ; 24 cm.
Subjects	Formal methods (Computer science)--Congresses. Formal methods (Computer science)--Congresses.

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

Availability

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

Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter [and others].

Click here for more information about this title

Availability