Search Web Services And Formal Methods

Showing 1 - 10 of 16 results for Web Services and Formal Methods

Sort by

Web Services, Formal Methods, and Behavioral Types

by Hildebrandt, Thomas; Ravara, António; Van Der Werf, Jan Martijn; et al.

ISBN13: 9783319336114

ISBN10: 3319336118

Format: Paperback
List Price: ~~$49.99~~ Save up to $49.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Web Services, Formal Methods, and Behavioral Types

by Thomas Hildebrandt

ISBN13: 9783319336121

ISBN10: 3319336126

Format: Nonspecific Binding
List Price: ~~$66.64~~

We're Sorry.
No Options Available at This Time.
Web Services and Formal Methods: Third International Workshop, Ws-fm 2006, Vienna, Austria, September 8-9, 2006: Proceedings

by Bravetti, Mario; Nunez, Manuel; Zavattaro, Gianluigi

ISBN13: 9783540388623

ISBN10: 3540388621

Format: Paperback
List Price: ~~$99.00~~ Save up to $99.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

by Dumas, Marlon; Heckel, Reiko

ISBN13: 9783540792291

ISBN10: 3540792295

Format: Paperback
List Price: ~~$89.99~~ Save up to $89.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

by Bernardo, Marco; Padovani, Luca; Zavattaro, Gianluigi

ISBN13: 9783642019173

ISBN10: 364201917X

Format: Paperback
List Price: ~~$69.95~~ Save up to $69.95
- Marketplace
  
  See Prices
Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

by Bruni, Roberto; Wolf, Karsten

ISBN13: 9783642013638

ISBN10: 3642013635

Format: Paperback
List Price: ~~$99.00~~ Save up to $99.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

by Laneve, Cosimo; Su, Jianwen

ISBN13: 9783642144578

ISBN10: 3642144578

Edition: 1st

Format: Paperback
List Price: ~~$89.99~~ Save up to $89.99
- Marketplace
  
  See Prices
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010

by Bravetti, Mario; Bultan, Tevfik

ISBN13: 9783642195884

ISBN10: 3642195881

Format: Paperback
List Price: ~~$89.99~~ Save up to $89.99
- Marketplace
  
  See Prices
Web Services and Formal Methods

by Carbone, Marco; Petit, Jean-marc

ISBN13: 9783642298332

ISBN10: 3642298338

Format: Paperback
List Price: ~~$69.99~~ Save up to $69.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Web Services and Formal Methods

by Ter Beek, Maurice H.; Lohman, Niels

ISBN13: 9783642382291

ISBN10: 3642382290

Format: Paperback
List Price: ~~$54.99~~ Save up to $54.99
- 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

Web Services, Formal Methods, and Behavioral Types

Web Services, Formal Methods, and Behavioral Types

Web Services and Formal Methods: Third International Workshop, Ws-fm 2006, Vienna, Austria, September 8-9, 2006: Proceedings

Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010

Web Services and Formal Methods

Web Services and Formal Methods