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

Showing 1 - 10 of 11

Sort by

Formal Methods for Multicore Programming

by Bernardo, Marco; Johnsen, Einar Broch

ISBN13: 9783319189406

ISBN10: 3319189409

Format: Paperback
List Price: ~~$59.99~~ Save up to $59.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
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
Tests and Proofs

by Gabmeyer, Sebastian; Johnsen, Einar Broch

ISBN13: 9783319614663

ISBN10: 3319614665

Format: Paperback
List Price: ~~$59.99~~ Save up to $59.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Service-oriented and Cloud Computing

by De Paoli, Flavio; Schulte, Stefan; Johnsen, Einar Broch

ISBN13: 9783319672618

ISBN10: 3319672614

Format: Paperback
List Price: ~~$69.99~~ Save up to $69.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Service-oriented and Cloud Computing

by Aiello, Marco; Johnsen, Einar Broch; Dustdar, Schahram; et al.

ISBN13: 9783319444819

ISBN10: 3319444816

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

by Johnsen, Einar Broch; Schaefer, Ina

ISBN13: 9783319929699

ISBN10: 3319929690

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

by Einar Broch Johnsen

ISBN13: 9783319929705

ISBN10: 3319929704

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

We're Sorry.
No Options Available at This Time.
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
Integrated Formal Methods: 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings

by Johnsen, Einar Broch; Petre, Luigia

ISBN13: 9783642386121

ISBN10: 3642386121

Format: Paperback
List Price: ~~$95.00~~ Save up to $95.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods for Executable Software Models

by Bernardo, Marco; Damiani, Ferruccio; Haehnle, Reiner; et al.

ISBN13: 9783319073163

ISBN10: 3319073168

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