Limit this search to....

  (5 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC
Pub
Date
Price
Integrated Formal Methods: 14th International Conference, Ifm 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings 2018 Edition Furia, Carlo A.Paperback3319989375 /
9783319989372
08/2018$52.24
Modeling Time in Computing 2012 Edition (Monographs in Theoretical Computer Science. an Eatcs)Furia, Carlo A.Hardcover3642323316 /
9783642323317
10/2012$52.24
Modeling Time in Computing 2012 Edition (Monographs in Theoretical Computer Science. an Eatcs Series)Furia, Carlo A.Paperback3642431364 /
9783642431364
11/2014$52.24
Object, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings (Lecture Notes in Computer Science)Furia, Carlo A.Paperback3642305601 /
9783642305603
05/2012$52.24
Tests and Proofs: 10th International Conference, Tap 2016, Held as Part of Staf 2016, Vienna, Austria, July 5-7, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science)Aichernig, Bernhard K.Paperback3319411349 /
9783319411347
06/2016$52.24
  (5 items found)