• Shop by category
  • Powered by eBay
  • Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 2

    • Item No : 146577960622
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $72.31
    • * Item Description

    • Invited Talks. - Injecting Life with Computers. - The Blast Query Language for Software Verification. - Program Generators and the Tools to Make Them. - Towards Declarative Programming for Web Services.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category