|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude 2017 Edition (Undergraduate Topics in Computer Science) | Ölveczky, Peter Csaba | Paperback | 1447166868 /
9781447166863 | 02/2018 | $75.99 |
|  | Formal Aspects of Component Software: 12th International Conference, Facs 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers 2016 Edition (Lecture Notes in Computer Science) | Braga, Christiano | Paperback | 3319289330 /
9783319289335 | 01/2016 | $52.24 |
|  | Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings 2018 Edition (Lecture Notes in Computer Science) | Bae, Kyungmin | Paperback | 3030021459 /
9783030021450 | 10/2018 | $52.24 |
|  | Formal Aspects of Component Software: 8th International Symposium, Facs 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers 2012 Edition (Lecture Notes in Computer Science / Programming and Software) | Arbab, Farhad | Paperback | 3642357423 /
9783642357428 | 11/2012 | $52.24 |
|  | Formal Techniques for Safety-Critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers 2016 Edition (Communications in Computer and Information Science) | Artho, Cyrille | Paperback | 3319295098 /
9783319295091 | 02/2016 | $52.24 |
|  | Formal Techniques for Safety-Critical Systems: 5th International Workshop, Ftscs 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers 2017 Edition (Communications in Computer and Information Science) | Artho, Cyrille | Paperback | 3319539450 /
9783319539454 | 02/2017 | $52.24 |
|  | Formal Techniques for Safety-Critical Systems: Second International Workshop, Ftscs 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selec 2014 Edition (Communications in Computer and Information Science) | Artho, Cyrille | Paperback | 3319054155 /
9783319054155 | 04/2014 | $52.24 |
|  | Formal Techniques for Safety-Critical Systems: Third International Workshop, Ftscs 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers 2015 Edition (Communications in Computer and Information Science) | Artho, Cyrille | Paperback | 3319175807 /
9783319175805 | 04/2015 | $52.24 |
|  | Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 Edition (Lecture Notes in Computer Science) | Martí-Oliet, Narciso | Paperback | 3319231642 /
9783319231648 | 08/2015 | $52.24 |
|  | Rewriting Logic and Its Applications: 8th International Workshop, Wrla 2010, Held as a Satellite Event of Etaps 2010, Paphos, Cyprus, March 20-21, 201 (Lecture Notes in Computer Science) | Ölveczky, Peter Csaba | Paperback | 3642163092 /
9783642163098 | 10/2010 | $52.24 |
|  | Software Engineering and Formal Methods: 17th International Conference, Sefm 2019, Oslo, Norway, September 18-20, 2019, Proceedings 2019 Edition | Ölveczky, Peter Csaba | Paperback | 3030304450 /
9783030304454 | 09/2019 | $52.24 |
|
|
|