Products

Product categories

Filters

Filters

Clear all
2 products
Sort by
Sort by
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2,Used Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2,Used
Add to wishlist
Quick view
Add to compare
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS...
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in...
Sale price$70.81 Regular price$101.16
Quantity
Add to cart
LogicBased Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 2325, 201,New LogicBased Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 2325, 201,New
Add to wishlist
Quick view
Add to compare
LogicBased Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010,...
This book constitutes the thoroughly refereed postproceedings of the 20th International Symposium on LogicBased Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in...
Sale price$67.61 Regular price$96.59
Quantity
Add to cart

Recently viewed products