skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Simple Search
Show only
Refined by: author/creator: Bonsangue, M remove subject: Engenharia De Programas remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures
Material Type:
Book 		Add to e-Shelf

Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures

FMCO 2003 (2003 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer-Verlag New York c2004

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3188 ) and other locations(GetIt)

2
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures
Material Type:
Book 		Add to e-Shelf

Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures

FMCO 2004 (2004 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2005

Online access. The library also has physical copies.

3
Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands November 1-4, 2005 : revised lectures
Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands November 1-4, 2005 : revised lectures
Material Type:
Book 		Add to e-Shelf

Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands November 1-4, 2005 : revised lectures

FMCO 2005 (2005 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2006

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4111 ) and other locations(GetIt)

4
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Material Type:
Book 		Add to e-Shelf

Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures

FMCO 2006 (2006 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2007

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4709 ) and other locations(GetIt)

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait