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

Showing 1 - 6 of 6

Sort by

Did you mean "hermenegildo giner"?

Logic-based Program Synthesis and Transformation

by Hermenegildo, Manuel V.; Lopez-garcia, Pedro

ISBN13: 9783319631387

ISBN10: 3319631381

Format: Paperback
List Price: ~~$79.99~~ Save up to $79.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Logic-Based Program Synthesis and Transformation

by Manuel V Hermenegildo

ISBN13: 9783319631394

ISBN10: 331963139X

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

We're Sorry.
No Options Available at This Time.
Analysis and Visualization Tools for Constraint Programming : Constraint Debugging

by Deransart, Pierre; Hermenegildo, Manuel V.; Maluszynski, Jan; et al.

ISBN13: 9783540411376

ISBN10: 3540411372

Format: Paperback
List Price: ~~$109.00~~ Save up to $109.00
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

by Garrigue, Jacques; Hermenegildo, Manuel

ISBN13: 9783540789680

ISBN10: 3540789685

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

by Barthe, Gilles; Hermenegildo, Manuel

ISBN13: 9783642113185

ISBN10: 3642113184

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

by Gilles Barthe; ?Manuel Hermenegildo

ISBN13: 9783642113192

ISBN10: 3642113192

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

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