formal-methods-for-software-engineering

You May Like

Formal Methods for Industrial Applications: Specifying and Programming the Steam
Formal Methods for Industrial Applications: Specifying and Programming the Steam

$16.79

View Details
Formal Methods for Eternal Networked Software Systems: 11th International School
Formal Methods for Eternal Networked Software Systems: 11th International School

$34.99

View Details
Formal Methods for Executable Software Models: 14th (Paperback)
Formal Methods for Executable Software Models: 14th (Paperback)

$44.33

View Details
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Formal Methods for Software Engineering: Languages, Methods, Application Domains

$98.88

View Details
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Formal Methods for Software Engineering: Languages, Methods, Application Domains

$89.39

View Details
Formal Methods for Performance Evaluation: 7th International School on Formal Me
Formal Methods for Performance Evaluation: 7th International School on Formal Me

$11.00

View Details
Lecture Notes in Computer Science Ser.: Formal Methods for Software...
Lecture Notes in Computer Science Ser.: Formal Methods for Software...

$46.99

View Details
Formal Methods For Software Engineering 1st ed. 2022, Brand New, Free shippin...
Formal Methods For Software Engineering 1st ed. 2022, Brand New, Free shippin...

$46.85

View Details
Formal Methods for Software Engineering : Languages, Methods, Application Dom...
Formal Methods for Software Engineering : Languages, Methods, Application Dom...

$61.61

View Details
Formal Methods in the Real World: A Handbook for Software Engineers by Vikram De
Formal Methods in the Real World: A Handbook for Software Engineers by Vikram De

$33.67

View Details
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Formal Methods for Software Engineering: Languages, Methods, Application Domains

$72.53

View Details
Formal Methods And Software Engineering : 7th International Conference on For...
Formal Methods And Software Engineering : 7th International Conference on For...

$67.85

View Details
Formal Methods for Open Object-Based Distributed, , New
Formal Methods for Open Object-Based Distributed, , New

$76.88

View Details
Formal Methods for Software Engineering : Languages, Methods, Application Dom...
Formal Methods for Software Engineering : Languages, Methods, Application Dom...

$61.75

View Details
Formal Methods for Software Architectures: Third International School on Formal
Formal Methods for Software Architectures: Third International School on Formal

$67.23

View Details
Formal Methods For Software Engineering 1st ed. 2022, Like New Used, Free shi...
Formal Methods For Software Engineering 1st ed. 2022, Like New Used, Free shi...

$46.96

View Details
Formal Engineering for Industrial Software Development: Using the Sofl Method
Formal Engineering for Industrial Software Development: Using the Sofl Method

$63.89

View Details
Formal Methods for Computational Systems Biology: 8th International School on Fo
Formal Methods for Computational Systems Biology: 8th International School on Fo

$67.23

View Details
Formal Methods for Model-Driven Engineering - 9783642309816
Formal Methods for Model-Driven Engineering - 9783642309816

$49.82

View Details
Formal Foundations for Software Engineering Methods by Heinrich Hussmann (Englis
Formal Foundations for Software Engineering Methods by Heinrich Hussmann (Englis

$67.23

View Details
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Formal Methods for Software Engineering: Languages, Methods, Application Domains

$99.08

View Details
Siraj Ahmed Shaikh - Formal Methods for Software Engineering Langua - S9000z
Siraj Ahmed Shaikh - Formal Methods for Software Engineering Langua - S9000z

$83.13

View Details
Formal Methods and Software Engineering : 4th International Conference on For...
Formal Methods and Software Engineering : 4th International Conference on For...

$126.07

View Details
Formal Methods in the Real World: A Handbook for Software Engineers by Desai,...
Formal Methods in the Real World: A Handbook for Software Engineers by Desai,...

$31.24

View Details
Formal Foundations for Software Engineering Methods, Paperback by Hussmann, H...
Formal Foundations for Software Engineering Methods, Paperback by Hussmann, H...

$66.40

View Details
Bernardo - Formal Methods for Model-Driven Engineering 12th Interna - S9000z
Bernardo - Formal Methods for Model-Driven Engineering 12th Interna - S9000z

$69.20

View Details
Formal Methods and Software Engineering : 8th International Conference on For...
Formal Methods and Software Engineering : 8th International Conference on For...

$126.73

View Details
Formal Methods and Software Engineering : 5th International Conference on For...
Formal Methods and Software Engineering : 5th International Conference on For...

$126.73

View Details
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMI
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMI

$67.54

View Details
Formal Methods for Software Architectures : Third International School on For...
Formal Methods for Software Architectures : Third International School on For...

$66.40

View Details
FME 2001: Formal Methods for Increasing Software Productivity: International Sym
FME 2001: Formal Methods for Increasing Software Productivity: International Sym

$125.99

View Details
Formal Methods for Components and Objects - 9783642406140
Formal Methods for Components and Objects - 9783642406140

$44.29

View Details
Formal Foundations for Software Engineering Methods by Heinrich Hussmann (Englis
Formal Foundations for Software Engineering Methods by Heinrich Hussmann (Englis

$95.39

View Details
Formal Methods for Eternal Networked Software Systems: 11th International School
Formal Methods for Eternal Networked Software Systems: 11th International School

$68.69

View Details
Formal Methods for Model-Driven Engineering: 12th International School on Formal
Formal Methods for Model-Driven Engineering: 12th International School on Formal

$66.98

View Details
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Formal Methods for Software Engineering: Languages, Methods, Application Domains

$80.45

View Details
Bernardo - Formal Methods for Computational Systems Biology 8th Int - S9000z
Bernardo - Formal Methods for Computational Systems Biology 8th Int - S9000z

$69.80

View Details
Formal Engineering for Industrial Software Development: Using the SOFL Method by
Formal Engineering for Industrial Software Development: Using the SOFL Method by

$69.14

View Details
Formal Methods for Software Architectures : Third International School on For...
Formal Methods for Software Architectures : Third International School on For...

$66.41

View Details
Formal Methods for Mobile Computing: 5th International School on Formal Methods
Formal Methods for Mobile Computing: 5th International School on Formal Methods

$67.23

View Details
Oliveira - FME 2001 Formal Methods for Increasing Software Productiv - S9000z
Oliveira - FME 2001 Formal Methods for Increasing Software Productiv - S9000z

$132.66

View Details
Barthe - Formal Methods for Open Object-Based Distributed Systems 1 - S9000z
Barthe - Formal Methods for Open Object-Based Distributed Systems 1 - S9000z

$68.72

View Details
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Formal Methods for Software Engineering: Languages, Methods, Application Domains

$134.89

View Details
Alpuente - Formal Methods for Industrial Critical Systems 14th Inte - S9000z
Alpuente - Formal Methods for Industrial Critical Systems 14th Inte - S9000z

$68.72

View Details
Formal Engineering for Industrial Software Development: Using the SOFL Method by
Formal Engineering for Industrial Software Development: Using the SOFL Method by

$72.29

View Details
Giachino - Formal Methods for Components and Objects 11th Internati - S9000z
Giachino - Formal Methods for Components and Objects 11th Internati - S9000z

$63.00

View Details
Formal Engineering for Industrial Software Development: Using the SOFL Method by
Formal Engineering for Industrial Software Development: Using the SOFL Method by

$98.04

View Details
Formal Methods for Executable Software Models : 14th International School on ...
Formal Methods for Executable Software Models : 14th International School on ...

$65.93

View Details
Beckert - Formal Methods for Components and Objects 10th Internatio - S9000z
Beckert - Formal Methods for Components and Objects 10th Internatio - S9000z

$69.20

View Details
Formal Methods for Industrial Critical Systems - 9783319194578
Formal Methods for Industrial Critical Systems - 9783319194578

$44.29

View Details
Formal Methods for Model-Driven Engineering: 12th International School on Formal
Formal Methods for Model-Driven Engineering: 12th International School on Formal

$91.87

View Details
Craigen - Formal Methods for Trustworthy Computer Systems FM89 Re - S9000z
Craigen - Formal Methods for Trustworthy Computer Systems FM89 Re - S9000z

$68.72

View Details
Wolter - Formal Methods and Stochastic Models for Performance Evaluat - S9000z
Wolter - Formal Methods and Stochastic Models for Performance Evaluat - S9000z

$68.72

View Details
Formal Methods in the Real World: A Handbook for Software Engineers by Vikram De
Formal Methods in the Real World: A Handbook for Software Engineers by Vikram De

$33.62

View Details
Bernardo - Formal Methods for Multicore Programming 15th Internatio - S9000z
Bernardo - Formal Methods for Multicore Programming 15th Internatio - S9000z

$75.70

View Details
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th

$82.72

View Details
Kordon - Formal Methods for Embedded Distributed Systems How to mas - S9000z
Kordon - Formal Methods for Embedded Distributed Systems How to mas - S9000z

$131.58

View Details
Formal Methods for the Design of Real-Time Systems: International School on Form
Formal Methods for the Design of Real-Time Systems: International School on Form

$67.23

View Details
Formal Methods for Hardware Verification: 6th International School on Formal Met
Formal Methods for Hardware Verification: 6th International School on Formal Met

$67.23

View Details
Formal Methods for Quantitative Aspects of Programming Languages: 10th Internati
Formal Methods for Quantitative Aspects of Programming Languages: 10th Internati

$67.91

View Details
Nez - Formal Methods for Industrial Critical Systems 20th Interna - S9000z
Nez - Formal Methods for Industrial Critical Systems 20th Interna - S9000z

$89.58

View Details
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 Intern
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 Intern

$67.23

View Details
Bernardo - Formal Methods for the Quantitative Evaluation of Collecti - S9000z
Bernardo - Formal Methods for the Quantitative Evaluation of Collecti - S9000z

$68.72

View Details
Cofer - Formal Methods for Industrial Critical Systems 13th Internat - S9000z
Cofer - Formal Methods for Industrial Critical Systems 13th Internat - S9000z

$68.72

View Details
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems:
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems:

$75.43

View Details
Formal Methods for Components and Objects: 9th International Symposium, FMCO 201
Formal Methods for Components and Objects: 9th International Symposium, FMCO 201

$68.40

View Details
Formal Methods for Executable Software Models: 14th International School on Form
Formal Methods for Executable Software Models: 14th International School on Form

$161.65

View Details
Isac - Software Verification and Formal Methods for ML-Enabled Autono - S9000z
Isac - Software Verification and Formal Methods for ML-Enabled Autono - S9000z

$85.86

View Details
Formal Methods and Software Engineering : 5th International Conference on For...
Formal Methods and Software Engineering : 5th International Conference on For...

$145.76

View Details
Formal Methods and Software Engineering : 8th International Conference on For...
Formal Methods and Software Engineering : 8th International Conference on For...

$146.33

View Details
Formal Methods and Software Engineering : 4th International Conference on For...
Formal Methods and Software Engineering : 4th International Conference on For...

$145.30

View Details
Formal Methods And Software Engineering : 7th International Conference on For...
Formal Methods And Software Engineering : 7th International Conference on For...

$123.71

View Details
Formal Methods for Components and Objects: 8th International Symposium, FMCO 200
Formal Methods for Components and Objects: 8th International Symposium, FMCO 200

$68.40

View Details
Bernardo - Formal Methods for Dynamical Systems 13th International - S9000z
Bernardo - Formal Methods for Dynamical Systems 13th International - S9000z

$63.00

View Details
Cerone - Formal Methods for an Informal World ICTAC 2021 Summer Sch - S9000z
Cerone - Formal Methods for an Informal World ICTAC 2021 Summer Sch - S9000z

$75.70

View Details
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : ...
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : ...

$79.46

View Details
Salan - Formal Methods for Industrial Critical Systems 16th Intern - S9000z
Salan - Formal Methods for Industrial Critical Systems 16th Intern - S9000z

$75.70

View Details
Bonsangue - Formal Methods for Components and Objects 6th Internati - S9000z
Bonsangue - Formal Methods for Components and Objects 6th Internati - S9000z

$69.20

View Details
Formal Methods for Components and Objects: Second International Symposium, FMCO
Formal Methods for Components and Objects: Second International Symposium, FMCO

$67.60

View Details
Formal Methods for Industrial Critical Systems: 20th International Workshop,
Formal Methods for Industrial Critical Systems: 20th International Workshop,

$74.77

View Details
Leue - Formal Methods for Industrial Critical Systems 12th Internati - S9000z
Leue - Formal Methods for Industrial Critical Systems 12th Internati - S9000z

$68.72

View Details
Formal Methods for Performance Evaluation : 7th International School on Forma...
Formal Methods for Performance Evaluation : 7th International School on Forma...

$69.19

View Details
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems...
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems...

$68.70

View Details
Formal Methods for Components and Objects: Third International Symposium, FMCO 2
Formal Methods for Components and Objects: Third International Symposium, FMCO 2

$67.60

View Details
Formal Methods for Components and Objects: First International Symposium, FMCO 2
Formal Methods for Components and Objects: First International Symposium, FMCO 2

$68.69

View Details
Formal Methods For Components And Objects : Second International Symposium, F...
Formal Methods For Components And Objects : Second International Symposium, F...

$66.77

View Details
Formal Methods for Embedded Distributed Systems: How to master the complexity by
Formal Methods for Embedded Distributed Systems: How to master the complexity by

$125.37

View Details
Formal Methods for Embedded Distributed Systems: How to master the complexity by
Formal Methods for Embedded Distributed Systems: How to master the complexity by

$125.19

View Details
Bonsangue - Formal Methods for Open Object-Based Distributed Systems - S9000z
Bonsangue - Formal Methods for Open Object-Based Distributed Systems - S9000z

$69.20

View Details
Formal Methods for Dynamical Systems : 13th International School on Formal Me...
Formal Methods for Dynamical Systems : 13th International School on Formal Me...

$60.73

View Details
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMI
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMI

$66.79

View Details
Larsen - Formal Methods for Industrial Critical Systems 24th Intern - S9000z
Larsen - Formal Methods for Industrial Critical Systems 24th Intern - S9000z

$68.72

View Details
Formal Methods for Web Services : 9th International School on Formal Methods ...
Formal Methods for Web Services : 9th International School on Formal Methods ...

$76.51

View Details
Formal Methods for Mobile Computing : 5th International School on Formal Meth...
Formal Methods for Mobile Computing : 5th International School on Formal Meth...

$66.41

View Details
Fme 2001 : Formal Methods for Increasing Software Productivity : 10th Interna...
Fme 2001 : Formal Methods for Increasing Software Productivity : 10th Interna...

$124.45

View Details
Formal Methods for Web Services: 9th International School on Formal Methods for
Formal Methods for Web Services: 9th International School on Formal Methods for

$109.42

View Details
Cimatti - Formal Methods for Industrial Critical Systems 28th Inter - S9000z
Cimatti - Formal Methods for Industrial Critical Systems 28th Inter - S9000z

$80.15

View Details
Formal Methods for Hardware Verification: 6th International School on Formal Met
Formal Methods for Hardware Verification: 6th International School on Formal Met

$93.42

View Details
Formal Methods for Components and Objects: 5th International Symposium, FMCO 200
Formal Methods for Components and Objects: 5th International Symposium, FMCO 200

$66.79

View Details
Formal Methods for Components and Objects: 11th International Symposium, FMCO 20
Formal Methods for Components and Objects: 11th International Symposium, FMCO 20

$68.31

View Details

© 2008-2024 formal-methods-for-software-engineering (https://www.headke.com/). All Rights Reserved.