|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Formal Aspects of Component Software: 9th International Symposium, Facs 2012, Mountain View, Ca, Usa, September 11-13, 2012. Revised Selected Papers 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Pasareanu, Corina S. | Paperback | 3642358608 /
9783642358609 | 01/2013 | $68.40 |
|  | Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science) | Salaün, Gwen | Paperback | 3642244300 /
9783642244308 | 09/2011 | $52.24 |
|  | Software Engineering and Formal Methods: 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Giannakopoulou, Dimitra | Paperback | 3319104306 /
9783319104300 | 08/2014 | $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 |
|  | Software Technologies: Applications and Foundations: Staf 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers 2018 Edition | Mazzara, Manuel | Paperback | 3030047709 /
9783030047702 | 12/2018 | $52.24 |
|
|
|