Item #: 1121677 | Model #: 9783642170706
Formal Methods for Components and Objects
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001247061_sc7?wid=512&hei=512

Formal Methods for Components and Objects

No reviews yet
Share:
Delivered within 3-9 business days
$92.19
This item not available in stores
Qty:

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leusche
  • No of Pages: 339 Pages
  • Publisher: Springer
Go to full description & specifications


92.19
92.19
https://www.staples-3p.com/s7/is/image/Staples/m001247061
09783642170706
Assorted Publishers
Formal Methods for Components and Objects
Product Description
Formal Methods for Components and Objects by Frank S. de Boer et al. - Notes on development methodologies related to languages like Java and their implementation

Formal Methods for Components and Objects by Frank S. de Boer et al., includes proceedings on 8th International Symposium, FMCO 2009 in the form of 17 contributions made on topics like specification, modeling and validation techniques etc.

  • Author Name: Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leusche
  • No of Pages: 339 Pages
  • Publisher: Springer
  • Publishing Date: January 04, 2011
  • Language: English
  • ISBN -10: 3642170706
  • ISBN -13: 978-3642170706
  • Edition: 2011
Specifications
Book Cover Paperback
Author Name Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leusche
Reviews