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

Showing 1 - 9 of 9

Sort by

Did you mean "majumdar arun"?

Runtime Verification

by Bartocci, Ezio; Majumdar, Rupak

ISBN13: 9783319238197

ISBN10: 3319238191

Format: Paperback
List Price: ~~$69.99~~ Save up to $69.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Computer Aided Verification

by Majumdar, Rupak; Kuncak, Viktor

ISBN13: 9783319633862

ISBN10: 3319633864

Format: Paperback
List Price: ~~$109.99~~ Save up to $109.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Computer Aided Verification

by Majumdar, Rupak; Kuncak, Viktor

ISBN13: 9783319633893

ISBN10: 3319633899

Format: Paperback
List Price: ~~$109.99~~ Save up to $109.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Computer Aided Verification

by Rupak Majumdar

ISBN13: 9783319633879

ISBN10: 3319633872

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

We're Sorry.
No Options Available at This Time.
Computer Aided Verification

by Rupak Majumdar

ISBN13: 9783319633909

ISBN10: 3319633902

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

We're Sorry.
No Options Available at This Time.
Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

by Havelund, Klaus; Majumdar, Rupak; Palsberg, Jens

ISBN13: 9783540851134

ISBN10: 3540851135

Format: Paperback
List Price: ~~$109.00~~ Save up to $109.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Hybrid Systems: Computation and Control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings

by Majumdar, Rupak; Tabuada, Paulo

ISBN13: 9783642006012

ISBN10: 3642006019

Format: Paperback
List Price: ~~$139.00~~ Save up to $139.00
- Marketplace
  
  See Prices
Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

by Esparza, Javier; Majumdar, Rupak

ISBN13: 9783642120015

ISBN10: 3642120016

Format: Paperback
List Price: ~~$129.00~~ Save up to $129.00
- Marketplace
  
  See Prices
Model Checking Software

by Klaus Havelund; Rupak Majumdar; Jens Palsberg

ISBN13: 9783540851141

ISBN10: 3540851143

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

We're Sorry.
No Options Available at This Time.