Formal methods for components and objects [E-Book] : 5th international symposium Amsterdam, Netherlands, November 7-10, 2006 : FMCO 2006 : revised lectures / ed. by Frank S. de Boer ...
Saved in:
Full text |
|
Personal Name(s): | DeBoer, Frank S., editor |
Imprint: |
Berlin :
Springer,
2008
|
Physical Description: |
online resource |
Note: |
englisch |
ISBN: |
9783540747918 |
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 ;
4709 |
LEADER | 00928nam a2200241 n 4500 | ||
---|---|---|---|
001 | 226164 | ||
008 | r2008 | ||
020 | |a 9783540747918 | ||
035 | |a (Sirsi) a176866 | ||
035 | |a i9783540747918 | ||
041 | |a eng | ||
245 | 0 | 0 | |a Formal methods for components and objects |h [E-Book] : |b 5th international symposium Amsterdam, Netherlands, November 7-10, 2006 : FMCO 2006 : revised lectures / |c ed. by Frank S. de Boer ... |
260 | |a Berlin : |b Springer, |c 2008 |e (Springer LINK) | ||
300 | |a online resource | ||
490 | 0 | |a Lecture notes in computer science ; |v 4709 | |
500 | |a englisch | ||
596 | |a 1 | ||
700 | 1 | |a DeBoer, Frank S., |e Hrsg. | |
856 | |u http://dx.doi.org/10.1007/978-3-540-74792-5 |z Volltext | ||
908 | |a Konferenz | ||
915 | |a zzwFZJ2 | ||
932 | |a Springer EBook 11.03.2008 | ||
949 | |a XX(176866.1) |w EBOOK |c 1 |i 176866-1001 |l ELECTRONIC |m ZB |r Y |s Y |t E-BOOK |u 25/3/2009 |1 ONLINE |2 KONFERENZ |