Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / C. Neville Dean, Raymond T. Boute (eds.)
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Other title: | CoLogNET/FME Symposium. TFM 2004. |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2004.
|
| Series: | Lecture notes in computer science ;
3294. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | b3726325 | ||
| 003 | CoU | ||
| 005 | 20240613131831.4 | ||
| 006 | m d | ||
| 007 | cr cn | ||
| 008 | 041220s2004 gw a b 101 0 eng d | ||
| 010 | |a 2004113937 | ||
| 020 | |a 3540236112 (pbk.) | ||
| 035 | |a (OCoLC)ocm57297858 | ||
| 040 | |a KKS |c KKS |d CUS |d C$Q | ||
| 049 | |a CODI |a GWRE | ||
| 090 | |a QA76.9.F67 |b T46 2004 | ||
| 090 | |a QA75.5 |b .L48 no.3294 | ||
| 090 | |a QA76.9.F67 |b T46 2004 | ||
| 111 | 2 | |a TFM 2004 |d (2004 : |c Ghent, Belgium) |0 http://id.loc.gov/authorities/names/nb2004310088. | |
| 245 | 1 | 0 | |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 | 3 | 0 | |a CoLogNET/FME Symposium. |
| 246 | 3 | 0 | |a TFM 2004. |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2004. | ||
| 300 | |a x, 248 pages : |b illustrations ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |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 author index. | ||
| 583 | 1 | |a committed to retain |c 20200101 |d 20450101 |5 CoU |f Alliance Shared Trust |u https://www.coalliance.org/shared-print-archiving-policies. | |
| 650 | 0 | |a Formal methods (Computer science) |x Study and teaching |v Congresses. | |
| 650 | 0 | |a Computer software |x Development |x Study and teaching |v Congresses. | |
| 700 | 1 | |a Dean, Neville. |0 http://id.loc.gov/authorities/names/n96044015 |1 http://isni.org/isni/000000011769617X. | |
| 700 | 1 | |a Boute, R. T. |q (Raymond T.) |0 http://id.loc.gov/authorities/names/n89102541 |1 http://isni.org/isni/0000000041291474. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 3294. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 907 | |a .b37263250 |b 05-20-20 |c 04-06-05 | ||
| 998 | |a web |a pas |b 04-18-05 |c a |d m |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b37263250 |b 06-04-19 |c 04-06-05 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b37263250 |b 12-03-13 |c 04-06-05 | ||
| 907 | |a .b37263250 |b 06-01-07 |c 04-06-05 | ||
| 948 | |a cwww04/05 : apr : jjl | ||
| 946 | |a jjl | ||
| 999 | f | f | |i b1e4ffc6-6835-5a1e-b7ed-7ae66dfdc5de |s fb5df4e0-5bf3-5320-b81b-f39901a179a7 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e Online |h Other scheme |i web |n 1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Boulder Campus |c Offsite |d PASCAL Offsite |e QA76.9.F67 T46 2004 |h Library of Congress classification |i book |m P203350104013 |n 1 |