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

Showing 1 - 8 of 8

Sort by

Did you mean "oualkadi ahmed"?

Networked Systems

by Bouajjani, Ahmed; Fauconnier, Hugues

ISBN13: 9783319268491

ISBN10: 331926849X

Format: Paperback
List Price: ~~$89.99~~ Save up to $89.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Verification, Model Checking, and Abstract Interpretation

by Bouajjani, Ahmed; Monniaux, David

ISBN13: 9783319522333

ISBN10: 3319522337

Format: Paperback
List Price: ~~$99.99~~ Save up to $99.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Formal Techniques for Distributed Objects, Components, and Systems

by Bouajjani, Ahmed; Silva, Alexandra

ISBN13: 9783319602240

ISBN10: 3319602241

Format: Paperback
List Price: ~~$69.99~~ Save up to $69.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Networked Systems

by Ahmed Bouajjani

ISBN13: 9783319268507

ISBN10: 3319268503

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

We're Sorry.
No Options Available at This Time.
Formal Techniques for Distributed Objects, Components, and Systems

by Ahmed Bouajjani

ISBN13: 9783319602257

ISBN10: 331960225X

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

We're Sorry.
No Options Available at This Time.
Verification, Model Checking, and Abstract Interpretation

by Ahmed Bouajjani

ISBN13: 9783319522340

ISBN10: 3319522345

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

We're Sorry.
No Options Available at This Time.
Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

by Bouajjani, Ahmed; Maler, Oded

ISBN13: 9783642026577

ISBN10: 3642026575

Format: Paperback
List Price: ~~$169.00~~ Save up to $169.00
- Marketplace
  
  See Prices
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

by Bouajjani, Ahmed; Chin, Wei-Ngan

ISBN13: 9783642156427

ISBN10: 3642156428

Edition: 1st

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