Teaching Formal Methods [E-Book] : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings / by C. Neville Dean, Raymond T. Boute.
Saved in:
Full text |
|
Personal Name(s): | Boute, Raymond T. |
Dean, C. Neville. | |
Imprint: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2004
|
Physical Description: |
online resource |
Note: |
englisch |
ISBN: |
9783540236115 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture notes in computer science ;
3294 |
Subject (LOC): |
Description not available. |