1.
Fundamental Approaches to Software Engineering : 14th International Conference, FASE 2011, H...
by Giannakopoulou, Dimitra, Or...
ISBN: 9783642198106
List Price: $95.00
2.
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. P...
by Giannakopoulou, Dimitra, Me...
ISBN: 9783642327582
List Price: $99.00
3.
Automated Test Case Generation for an Autopilot Requirement Prototype
by Giannakopoulou, Dimitra, Na...
ISBN: 9781289118563
List Price: $14.75
OUT OF STOCK
See Availability on Amazon4.
Software Engineering and Formal Methods : 12th International Conference, Sefm 2014, Grenoble...
by Giannakopoulou, Dimitra, Sa...
ISBN: 9783319104324
List Price: $24.99
OUT OF STOCK
See Availability on Amazon5.
Verified Software : Theories, Tools and Experiments: 6th International Conference, Vstte 201...
by Giannakopoulou, Dimitra, Kr...
ISBN: 9783319121550
List Price: $24.99