|
|
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. | Paperback | 3319989375 / 9783319989372 | 08/2018 | $52.24 |
| | Modeling Time in Computing 2012 Edition (Monographs in Theoretical Computer Science. an Eatcs) | Furia, Carlo A. | Hardcover | 3642323316 / 9783642323317 | 10/2012 | $52.24 |
| | Modeling Time in Computing 2012 Edition (Monographs in Theoretical Computer Science. an Eatcs Series) | Furia, Carlo A. | Paperback | 3642431364 / 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. | Paperback | 3642305601 / 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. | Paperback | 3319411349 / 9783319411347 | 06/2016 | $52.24 |
|
|
|