Results
|
|
1.
|
Formal Methods for Components and Objects (vol. # 4111) Электронный ресурс 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures edited by Frank S. de Boer, Marcello M. Bonsangue, Susann by de Boer, Frank S | Bonsangue, Marcello M | de Roever, Willem-Paul | Graf, Susanne | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type:  Computer file; Format:
electronic
available online
 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
|
2.
|
Formal Methods for Components and Objects (vol. # 3657) Электронный ресурс Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures edited by Marcello M. Bonsangue, Frank S. de Boer, Willem- by Bonsangue, Marcello M | de Boer, Frank S | de Roever, Willem-Paul | Graf, Susanne | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
