Tools

LEADER 01844cam a2200433Ia 4500

001 ocm57297858;

003 OCoLC;

005 20141212181358.0;

008 041220s2004 gw a b 101 0 eng d;

010 a| 2004113937;

020 a| 3540236112 (pbk.);

035 a| (Sirsi) o57297858;

035 a| (OCoLC)57297858;

040 a| KKSc| KKSd| CUSd| UtOrBLW;

049 a| EREE;

090 a| QA76.9.F67b| T46 2004;

111 2 a| TFM 2004d| (2004 :c| Ghent, Belgium)=| ^A591921;

245 10 a| Teaching formal methods :b| CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings /c| C. Neville Dean, Raymond T. Boute (eds.).;

246 30 a| CoLogNET/FME Symposium;

246 30 a| TFM 2004;

300 a| x, 248 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| 3294;

500 a| "These proceedings record the papers presented at the Symposium on Teaching Formal Methods (TFM 2004) held at the University of Ghent in Belgium, 18-19 November 2004"--Pref.;

504 a| Includes bibliographical references and index.;

650 0 a| Formal methods (Computer science)x| Study and teachingv| Congresses.=| ^A446919;

700 1 a| Dean, Neville.=| ^A385809;

700 1 a| Boute, R. T.q| (Raymond T.)=| ^A273713;

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

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2005-02-02b| 63d| 0e| 59.85f| 532416;

596 a| 1;

998 a| 988270;

999 a| QA76.9.F67 T46 2004w| LCc| 1i| 30372012673049d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $59.85r| Ys| Yt| JGESBKu| 2/14/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / C. Neville Dean, Raymond T. Boute (eds.).

Author/creator	TFM 2004
Other author	Dean, Neville.
Other author	Boute, R. T. (Raymond T.)
Format	Book
Publication Info	Berlin ; New York : Springer, ©2004.
Description	x, 248 pages : illustrations ; 24 cm.
Subjects	Formal methods (Computer science)--Study and teaching. --Congresses. Computer software--Development. --Study and teaching. --Congresses.

Portion of title	CoLogNET/FME Symposium
Portion of title	TFM 2004
Series	Lecture notes in computer science ; 3294 Lecture notes in computer science 3294. ^A466336
General note	"These proceedings record the papers presented at the Symposium on Teaching Formal Methods (TFM 2004) held at the University of Ghent in Belgium, 18-19 November 2004"--Pref.
Bibliography note	Includes bibliographical references and index.
LCCN	2004113937
ISBN	3540236112 (pbk.)

Availability

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

Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / C. Neville Dean, Raymond T. Boute (eds.).

Click here for more information about this title

Availability