Rent Textbooks | Buy Textbooks | Sell Textbooks | eCampus.com

Showing 1 - 10 of 18

Sort by

Theory and Practice of Formal Methods

by Abraham, Erika; Johnsen, Einar Broch; Bonsangue, Marcello

ISBN13: 9783319307336

ISBN10: 3319307339

Format: Paperback
List Price: ~~$79.99~~ Save up to $79.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
It's All About Coordination

by De Boer, Frank; Bonsangue, Marcello; Rutten, Jan

ISBN13: 9783319900889

ISBN10: 3319900889

Format: Paperback
List Price: ~~$72.00~~ Save up to $72.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 : Revised Lectures

by Fmco 200 (2002 Leiden, Netherlands); Bonsangue, Marcello M.; Graf, Susanne; et al.

ISBN13: 9783540203032

ISBN10: 3540203036

Edition: Revised

Format: Paperback
List Price: ~~$129.00~~ Save up to $129.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods For Components And Objects: Second International Symposium, Fmco 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

by Boer, Frank S. De; Bonsangue, Marcello M.; Graf, Susanne; et al.

ISBN13: 9783540229421

ISBN10: 3540229426

Format: Paperback
List Price: ~~$99.00~~ Save up to $99.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures

by Boer, Frank S. De; Bonsangue, Marcello M.; Graf, Susanne; et al.

ISBN13: 9783540291312

ISBN10: 3540291318

Format: Paperback
List Price: ~~$99.00~~ Save up to $99.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods for Open Object-based Distributed Systems: 9th Ifip Wg 6.1 International Conference, Fmoods 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

by Bonsangue, Marcello M.; Johnsen, Einar Broch

ISBN13: 9783540729198

ISBN10: 3540729194

Format: Paperback
List Price: ~~$109.00~~ Save up to $109.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006, Revised Lectures

by Boer, Frank S. De; Bonsangue, Marcello M.; Graf, Susanne; et al.

ISBN13: 9783540747918

ISBN10: 3540747915

Format: Paperback
List Price: ~~$99.00~~ Save up to $99.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 2007, Revised Papers

by De Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; et al.

ISBN13: 9783540921875

ISBN10: 3540921877

Format: Paperback
List Price: ~~$99.00~~ Save up to $99.00
- Marketplace
  
  See Prices
Formal Methods for Components and Objects: 7th International Symposium, Fmco 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

by Boer, Frank S. De; Bonsangue, Marcello M.; Madelaine, Eric

ISBN13: 9783642041662

ISBN10: 3642041663

Edition: 1st

Format: Paperback
List Price: ~~$109.00~~ Save up to $109.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods for Components and Objects

by De Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; et al.

ISBN13: 9783642170706

ISBN10: 3642170706

Edition: 1st

Format: Paperback
List Price: ~~$99.00~~ Save up to $99.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices

<< Previous
1
2
Next >>

Rent More, Save More! Use code: ECRENTAL

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

Theory and Practice of Formal Methods

It's All About Coordination

Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 : Revised Lectures

Formal Methods For Components And Objects: Second International Symposium, Fmco 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures

Formal Methods for Open Object-based Distributed Systems: 9th Ifip Wg 6.1 International Conference, Fmoods 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

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: 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-27, 2007, Revised Papers

Formal Methods for Components and Objects: 7th International Symposium, Fmco 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Formal Methods for Components and Objects