Mathematics of program construction: 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings [E-Book]/ hilippe Audebaud, Christine Paulin-Mohring (editors)
Saved in:
Full text |
|
Personal Name(s): | Audebaud, Philippe, editor |
Paulin-Mohring, Christine, editor | |
Imprint: |
Berlin:
Springer,
2008
|
Physical Description: |
online resource |
Note: |
englisch |
ISBN: |
9783540705949 (e-book) 9783540705932 |
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;
5133 |
LEADER | 01027nam a2200265 n 4500 | ||
---|---|---|---|
001 | 227793 | ||
008 | r2008 eng | ||
020 | |a 9783540705932 | ||
020 | |a 9783540705949 (e-book) | ||
035 | |a (Sirsi) a177751 | ||
035 | |a i9783540705949 | ||
041 | |a eng | ||
245 | 0 | 0 | |a Mathematics of program construction: |b 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings |h [E-Book]/ |p hilippe Audebaud, Christine Paulin-Mohring (editors) |
264 | |a Berlin: |b Springer, |c 2008 |e (Springer LINK) | ||
300 | |a online resource | ||
490 | 0 | |a Lecture notes in computer science; |v 5133 | |
500 | |a englisch | ||
596 | |a 1 | ||
700 | |a Audebaud, Philippe, |e Herausgeber | ||
700 | |a Paulin-Mohring, Christine, |e Herausgeber | ||
856 | |u http://dx.doi.org/10.1007/978-3-540-70594-9 |z Volltext | ||
908 | |a Konferenz | ||
915 | |a zzwFZJ2 | ||
932 | |a Springer EBook 11.06.08 | ||
949 | |a XX(177751.1) |w EBOOK |c 1 |i 177751-1001 |l ELECTRONIC |m ZB |r Y |s Y |t E-BOOK |u 25/3/2009 |1 ONLINE |2 KONFERENZ |