1.
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21,...
by Derrick, John, Gnesi, Stefa...
ISBN: 9783642307287
List Price: $79.95
2.
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pi...
by Derrick, John, Fitzgerald, ...
ISBN: 9783642308840
List Price: $79.95
3.
Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, H...
by Gnesi, Stefania, Rensink, A...
ISBN: 9783642548031
List Price: $95.00
4.
Formal Methods for Industrial Critical Systems : A Survey of Applications
by Gnesi, Stefania, Margaria, ...
ISBN: 9780470876183
5.
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016...
by Fitzgerald, John, Heitmeyer...
ISBN: 9783319489889
List Price: $131.00
6.
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Works...
by Ter Beek, Maurice H., Gnesi...
ISBN: 9783319459424
List Price: $72.00
7.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-Inten...
by Gnesi, Stefania
ISBN: 9781450315418
List Price: $99.00
OUT OF STOCK
See Availability on Amazon8.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
by Gnesi, Stefania
ISBN: 9781450328531
List Price: $99.00
OUT OF STOCK
See Availability on Amazon9.
Proceedings of the 18th International Software Product Line Conference : Companion Volume fo...
by Gnesi, Stefania
ISBN: 9781450327398
List Price: $99.00
OUT OF STOCK
See Availability on Amazon10.
Proceedings of the 18th International Software Product Line Conference
by Gnesi, Stefania
ISBN: 9781450327404
List Price: $99.00
OUT OF STOCK
See Availability on Amazon11.
Fundamental Approaches to Software Engineering : 17th International Conference, Fase 2014, H...
by Gnesi, Stefania, Rensink, A...
ISBN: 9783642548055
List Price: $24.99
OUT OF STOCK
See Availability on Amazon12.
Formal Methods for Industrial Critical Systems : A Survey of Applications
by Gnesi, Stefania, Margaria, ...
ISBN: 9781118459898
OUT OF STOCK
See Availability on Amazon13.
Formal Methods for Industrial Critical Systems: a Survey of Applications
by Gnesi, Stefania, Margaria, ...
ISBN: 9781118459874