CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 13 of 13 Results
1.
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21,...
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21,... by Derrick, John, Gnesi, Stefa... ISBN: 9783642307287 List Price: $79.95
$51.31 (Save 35%)
2.
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pi...
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pi... by Derrick, John, Fitzgerald, ... ISBN: 9783642308840 List Price: $79.95
$51.31 (Save 35%)
3.
Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, H...
Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, H... by Gnesi, Stefania, Rensink, A... ISBN: 9783642548031 List Price: $95.00
$51.31 (Save 45%)
4.
Formal Methods for Industrial Critical Systems : A Survey of Applications
Formal Methods for Industrial Critical Systems : A Survey of Applications by Gnesi, Stefania, Margaria, ... ISBN: 9780470876183
$89.25
5.
Fundamental Approaches to Software Engineering : 17th International Conference, Fase 2014, H...
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 Amazon
6.
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Works...
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Works... by Ter Beek, Maurice H., Gnesi... ISBN: 9783319459424 List Price: $72.00
$51.31 (Save 28%)
7.
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016...
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016... by Fitzgerald, John, Heitmeyer... ISBN: 9783319489889 List Price: $131.00
$51.31 (Save 60%)
8.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-Inten...
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 Amazon
9.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
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 Amazon
10.
Proceedings of the 18th International Software Product Line Conference
Proceedings of the 18th International Software Product Line Conference by Gnesi, Stefania ISBN: 9781450327404 List Price: $99.00

OUT OF STOCK

See Availability on Amazon
11.
Proceedings of the 18th International Software Product Line Conference : Companion Volume fo...
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 Amazon
12.
Formal Methods for Industrial Critical Systems : A Survey of Applications
Formal Methods for Industrial Critical Systems : A Survey of Applications by Gnesi, Stefania, Margaria, ... ISBN: 9781118459898

OUT OF STOCK

See Availability on Amazon
13.
Formal Methods for Industrial Critical Systems: a Survey of Applications
Formal Methods for Industrial Critical Systems: a Survey of Applications by Gnesi, Stefania, Margaria, ... ISBN: 9781118459874

OUT OF STOCK

See Availability on Amazon