Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : Proceedings

Paperback Published on: 09/03/2007
Price: £89.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
wordery
has a fantastic rating on

Publisher information

  • Publisher: Springer Berlin Heidelberg
  • ISBN: 9783540712084
  • Number of pages: 738
  • Dimensions: 229 x 152 x 38 mm
  • Weight: 2320g
  • Languages: English