Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Frontiers of Combining Systems: 8th International Symposium, Frocos 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings (Lecture Notes in Artificial Intelligence)Tinelli, CesarePaperback3642243630 /
9783642243639		09/2011$66.49
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015, Held as Part of the European Joint Confe 2015 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci)Baier, ChristelPaperback3662466805 /
9783662466803		04/2015$52.24
  (2 items found)