1.
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International ...
by Margaria, Tiziana, Steffen,...
ISBN: 9783642165603
List Price: $107.00
OUT OF STOCK
See Availability on Amazon2.
Correct Hardware Design and Verification Methods 11th Ifip Wg 10.5 Advanced Research Working...
by Margaria, Tiziana, Melham, ...
ISBN: 9783540425410
List Price: $82.95
3.
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International ...
by Margaria, Tiziana, Steffen,...
ISBN: 9783642165573
List Price: $131.00
OUT OF STOCK
See Availability on Amazon4.
Semantic Web Services Challenge : Results from the First Year
by Petrie, Charles, Margaria, ...
ISBN: 9781441944405
List Price: $99.00
5.
Leveraging Applications of Formal Methods, Verification and Validation : 5th International S...
by Margaria, Tiziana, Steffen,...
ISBN: 9783642340253
List Price: $119.00
6.
Leveraging Applications of Formal Methods, Verification and Validation : 5th International S...
by Margaria, Tiziana, Steffen,...
ISBN: 9783642340314
List Price: $83.00
7.
Service-Oriented Computing - Icsoc 2008: 6th International Conference, Sydney, Australia, De...
by Bouguettaya, Athman, Krüger...
ISBN: 9783540896470
List Price: $129.00
8.
Software Process Improvement
by Abrahamsson, Pekka, Baddoo,...
ISBN: 9783540747659
List Price: $59.95
9.
Tools and Algorithms for the Construction and Analysis of Systems Second International Works...
by Margaria, Tiziana, Steffen,...
ISBN: 9783540610427
List Price: $79.95
10.
Leveraging Applications of Formal Methods
by Tiziana, Margaria, Steffen,...
ISBN: 9783540489283
List Price: $58.00
11.
Tools and Algorithms for the Construction and Analysis of Systems 7th International Conferen...
by Margaria, Tiziana, Yi, Wang
ISBN: 9783540418658
List Price: $99.00
12.
Fundamental Approaches to Software Engineering 7th International Conference, Fase 2004, Held...
by Wermelinger, Michel, Margar...
ISBN: 9783540213055
List Price: $78.00
13.
Formal Methods for Industrial Critical Systems : A Survey of Applications
by Gnesi, Stefania, Margaria, ...
ISBN: 9780470876183
14.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemin...
by Margaria, Tiziana, Steffen,...
ISBN: 9783319471686
List Price: $143.00
15.
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice ...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030034269
List Price: $99.99
16.
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems ...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030034238
List Price: $99.99
17.
Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th I...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030034207
List Price: $89.99
18.
Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th Inter...
by Margaria, Tiziana, Steffen,...
ISBN: 9783030034177
List Price: $99.99
19.
Fmics '05: Proceedings of the Tenth International Workshop on Formal Methods for Industrial ...
by Margaria-Steffen, Tiziana, ...
ISBN: 9781595931481
OUT OF STOCK
See Availability on Amazon20.
Process Design for Natural Scientists : An Agile Model-Driven Approach
by Lamprecht, Anna-Lena, Marga...
ISBN: 9783662450079
List Price: $24.99
OUT OF STOCK
See Availability on Amazon21.
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana, Steffen,...
ISBN: 9783642165597
List Price: $24.99
OUT OF STOCK
See Availability on Amazon22.
Correct Hardware Design and Verification Methods
by Margaria, Tiziana, Melham, Tom
ISBN: 9783662199329
List Price: $24.99
OUT OF STOCK
See Availability on Amazon23.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mas...
by Margaria, Tiziana, Steffen,...
ISBN: 9783662452356
List Price: $24.99
OUT OF STOCK
See Availability on Amazon24.
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniqu...
by Margaria, Tiziana, Steffen,...
ISBN: 9783662452325
List Price: $24.99
OUT OF STOCK
See Availability on Amazon25.
IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering : Proceedi...
by Margaria-Steffen, Tiziana, ...
ISBN: 9780769547510