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

Showing 1 - 10 of 11

Sort by

Critical Systems - Formal Methods and Automated Verification

by Ter Beek, Maurice H.; Gnesi, Stefania; Knapp, Alexander

ISBN13: 9783319459424

ISBN10: 3319459422

Format: Paperback
List Price: ~~$59.99~~ Save up to $59.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
From Software Engineering to Formal Methods and Tools, and Back

by Ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura

ISBN13: 9783030309848

ISBN10: 3030309843

Format: Paperback
List Price: ~~$99.99~~ Save up to $99.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Methods

by Ter Beek, Maurice; McIver, Annabelle; Oliveira, José N.

ISBN13: 9783030309411

ISBN10: 303030941X

Format: Paperback
List Price: ~~$119.99~~ Save up to $119.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
From Software Engineering to Formal Methods and Tools, and Back

by Maurice H. ter Beek

ISBN13: 9783030309855

ISBN10: 3030309851

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

We're Sorry.
No Options Available at This Time.
Critical Systems: Formal Methods and Automated Verification

by Maurice H. ter Beek

ISBN13: 9783319459431

ISBN10: 3319459430

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

We're Sorry.
No Options Available at This Time.
Formal Methods – The Next 30 Years

by Maurice H. ter Beek

ISBN13: 9783030309428

ISBN10: 3030309428

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

We're Sorry.
No Options Available at This Time.
Formal Methods for Industrial Critical Systems

by Dejan Nickovic; Maurice H. ter Beek

ISBN13: 9783030582982

ISBN10: 3030582981

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

We're Sorry.
No Options Available at This Time.
Formal Methods for Industrial Critical Systems

by Dejan Nickovic; Maurice H. ter Beek

ISBN13: 9783030582975

ISBN10: 3030582973

Format: Nonspecific Binding
List Price: ~~$93.30~~ Save up to $93.30
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Architecting Dependable Systems VI

by De Lemos, Rogerio; Fabre, Jean-Charles; Gacek, Cristina; et al.

ISBN13: 9783642102479

ISBN10: 3642102476

Edition: 1st

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