Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, Tacas 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

  • Electronic book text

List price: US$100.00

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Product details

  • Electronic book text
  • Springer
  • United States
  • 3540247300
  • 9783540247302