國立高雄大學圖資館 |

Language: English

Help

圖資館首頁

Refine search

Associated Subjects

Search result for [ author_sort:"boer, frank s. de."]

5 records (0.022s)· Page 1 of 1 • 1

1.

Formal methods for components and ob...

~
(1998 :)
- Formal methods for components and objects6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers /
- by: (1998 :); Boer, Frank S. de.; SpringerLink (Online service)
- Language materials, printed : Monograph/item
- Publisher: Springer Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2008
- ISBN: 9783540921875; 9783540921882
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Formal methods for components and ob...

~
(1998 :)
- Formal methods for components and objects8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers /
- by: (1998 :); Boer, Frank S. de.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2010
- ISBN: 9783642170706; 9783642170713
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Formal methods for components and ob...

~
(1998 :)
- Formal methods for components and objectssecond international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
- by: (1998 :); Boer, Frank S. de.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2004
- ISBN: 9783540229421
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

Formal methods for components and ob...

~
(1998 :)
- Formal methods for components and objectsfirst international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /
- by: (1998 :); Boer, Frank S. de.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag,
- Place of Publication: New York :
- Year of Publication: 2003
- ISBN: 9783540203032
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- Formal Methods for Components and Objects :Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
- by: (1998 :); Boer, Frank S. de.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag GmbH.,
- Place of Publication: Berlin Heidelberg :
- Year of Publication: 2005
- ISBN: 9783540291312; 9783540319399
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Save to Personal SDI

Export

pickup library

Bibliographic level:
Material type:
Only with items