formal-methods-model-in-software-engineering

You May Like

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

$28.92

View Details
Formal Methods and Software Engineering: 12th International Conference on Formal
Formal Methods and Software Engineering: 12th International Conference on Formal

$130.88

View Details
Software Engineering and Formal Methods: 22nd International Conference, SEFM 202
Software Engineering and Formal Methods: 22nd International Conference, SEFM 202

$105.74

View Details
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr

$68.71

View Details
Software Engineering and Formal Methods : 14th International Conference, Pape...
Software Engineering and Formal Methods : 14th International Conference, Pape...

$56.76

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

$58.84

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...

$58.07

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

$72.78

View Details
Formal Methods and Software Engineering : 15th International Conference on Fo...
Formal Methods and Software Engineering : 15th International Conference on Fo...

$67.22

View Details
Formal Methods in Databases and Software Engineering : Proceedings of the Wor...
Formal Methods in Databases and Software Engineering : Proceedings of the Wor...

$65.82

View Details
Formal Methods and Software Engineering : 14th International Conference on Fo...
Formal Methods and Software Engineering : 14th International Conference on Fo...

$66.41

View Details
Formal Methods and Software Engineering: 10th International Conference on Formal
Formal Methods and Software Engineering: 10th International Conference on Formal

$67.23

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

$127.88

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 and Software Engineering: 15th International Conference on Formal
Formal Methods and Software Engineering: 15th International Conference on Formal

$67.23

View Details
Formal Methods in Databases and Software Engineering: Proceedings of the Worksho
Formal Methods in Databases and Software Engineering: Proceedings of the Worksho

$66.85

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

$92.23

View Details
Formal Methods and Software Engineering: 22nd International Conference on Formal
Formal Methods and Software Engineering: 22nd International Conference on Formal

$67.04

View Details
Software Engineering and Formal Methods : 15th International Conference, Proc...
Software Engineering and Formal Methods : 15th International Conference, Proc...

$69.19

View Details
Formal Methods and Software Engineering : 10th International Conference on Fo...
Formal Methods and Software Engineering : 10th International Conference on Fo...

$67.21

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

$68.93

View Details
Formal Methods and Software Engineering : 20th International Conference on Fo...
Formal Methods and Software Engineering : 20th International Conference on Fo...

$67.21

View Details
Formal Methods and Software Engineering : 22nd International Conference on Fo...
Formal Methods and Software Engineering : 22nd International Conference on Fo...

$67.02

View Details
Formal Methods and Software Engineering : 17th International Conference on Fo...
Formal Methods and Software Engineering : 17th International Conference on Fo...

$76.16

View Details
Formal Methods and Software Engineering : 21st International Conference on Fo...
Formal Methods and Software Engineering : 21st International Conference on Fo...

$66.41

View Details
Formal Methods and Software Engineering : 16th International Conference on Fo...
Formal Methods and Software Engineering : 16th International Conference on Fo...

$76.16

View Details
Formal Methods and Software Engineering: 21st International Conference on Formal
Formal Methods and Software Engineering: 21st International Conference on Formal

$67.47

View Details
Formal Methods and Software Engineering : 23rd International Conference on Fo...
Formal Methods and Software Engineering : 23rd International Conference on Fo...

$72.26

View Details
Formal Methods and Software Engineering: 6th International Conference on Formal
Formal Methods and Software Engineering: 6th International Conference on Formal

$127.34

View Details
Formal Methods and Software Engineering: 25th International Conference on Formal
Formal Methods and Software Engineering: 25th International Conference on Formal

$99.72

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...

$56.61

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

$58.93

View Details
Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...
Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...

$68.70

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

$127.86

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

$128.53

View Details
Formal Methods and Software Engineering: 7th International Conference on Formal
Formal Methods and Software Engineering: 7th International Conference on Formal

$68.94

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

$128.54

View Details
Software Engineering and Formal Methods : 14th International Conference, Pape...
Software Engineering and Formal Methods : 14th International Conference, Pape...

$56.75

View Details
Formal Methods and Software Engineering: 20th International Conference on Formal
Formal Methods and Software Engineering: 20th International Conference on Formal

$67.23

View Details
NEW TRENDS IN SOFTWARE PROCESS MODELLING [Software Engineering and Knowledge Eng
NEW TRENDS IN SOFTWARE PROCESS MODELLING [Software Engineering and Knowledge Eng

$34.00

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

$67.23

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

$99.32

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

$77.58

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
Business Modeling and Software Design : Second International Symposium, BMSD ...
Business Modeling and Software Design : Second International Symposium, BMSD ...

$65.48

View Details
Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski
Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski

$67.23

View Details
Gupta - Formal Methods and Models for System Design   A System Level  - T9000z
Gupta - Formal Methods and Models for System Design A System Level - T9000z

$256.67

View Details
Model-Driven Engineering and Software Development: 6th International Conference,
Model-Driven Engineering and Software Development: 6th International Conference,

$67.23

View Details
Modern Methods of Systems Engineering: With an Introduction to Pattern and Model
Modern Methods of Systems Engineering: With an Introduction to Pattern and Model

$26.19

View Details
Kreowski - Formal Methods in Software and Systems Modeling   Essays De - T555z
Kreowski - Formal Methods in Software and Systems Modeling Essays De - T555z

$79.28

View Details
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr

$73.90

View Details
Model-driven Engineering and Software Development : 6th International Confere...
Model-driven Engineering and Software Development : 6th International Confere...

$72.26

View Details
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the

$67.23

View Details
Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...
Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...

$79.25

View Details
Cavalheiro - Formal Methods  Foundations and Applications   20th Braz - S9000z
Cavalheiro - Formal Methods Foundations and Applications 20th Braz - S9000z

$102.95

View Details
Composing Model-Based Analysis Tools by Heinrich, Robert, Like New Used, Free...
Composing Model-Based Analysis Tools by Heinrich, Robert, Like New Used, Free...

$124.37

View Details
Modelling Systems: Practical Tools and Techniques in Software Development: New
Modelling Systems: Practical Tools and Techniques in Software Development: New

$88.54

View Details
Formal Methods: Industrial Use from Model to the Code by Jean-Louis Boulanger (E
Formal Methods: Industrial Use from Model to the Code by Jean-Louis Boulanger (E

$177.68

View Details
Composing Model-based Analysis Tools, Hardcover by Heinrich, Robert (EDT); Du...
Composing Model-based Analysis Tools, Hardcover by Heinrich, Robert (EDT); Du...

$179.98

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

$77.60

View Details
Composing Model-Based Analysis Tools by Robert Heinrich (English) Paperback Book
Composing Model-Based Analysis Tools by Robert Heinrich (English) Paperback Book

$124.39

View Details
Dutle - NASA Formal Methods   10th International Symposium NFM 2018 - S9000z
Dutle - NASA Formal Methods 10th International Symposium NFM 2018 - S9000z

$69.20

View Details
Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte
Leveraging Applications of Formal Methods, Verification and Validation: 5th Inte

$67.47

View Details
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA,
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA,

$95.48

View Details
Methods, Models and Tools for Fault Tolerance by Michael Butler (English) Paperb
Methods, Models and Tools for Fault Tolerance by Michael Butler (English) Paperb

$67.04

View Details
Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski
Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski

$68.94

View Details
Situational Method Engineering by Brian Henderson-Sellers (English) Hardcover Bo
Situational Method Engineering by Brian Henderson-Sellers (English) Hardcover Bo

$73.70

View Details
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr

$17.76

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

$58.69

View Details
Formal Methods in Databases and Software Engineering : Proceedings of the Wor...
Formal Methods in Databases and Software Engineering : Proceedings of the Wor...

$65.79

View Details
Formal Methods and Software Engineering : 15th International Conference on Fo...
Formal Methods and Software Engineering : 15th International Conference on Fo...

$67.21

View Details
Formal Methods and Software Engineering : 21st International Conference on Fo...
Formal Methods and Software Engineering : 21st International Conference on Fo...

$66.40

View Details
Formal Methods and Software Engineering : 14th International Conference on Fo...
Formal Methods and Software Engineering : 14th International Conference on Fo...

$66.40

View Details
Formal Methods and Software Engineering : 10th International Conference on Fo...
Formal Methods and Software Engineering : 10th International Conference on Fo...

$67.22

View Details
Formal Methods and Software Engineering : 16th International Conference on Fo...
Formal Methods and Software Engineering : 16th International Conference on Fo...

$76.17

View Details
Formal Methods and Software Engineering : 17th International Conference on Fo...
Formal Methods and Software Engineering : 17th International Conference on Fo...

$76.17

View Details
Formal Methods and Software Engineering : 22nd International Conference on Fo...
Formal Methods and Software Engineering : 22nd International Conference on Fo...

$67.03

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

$68.92

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

$128.54

View Details
Formal Methods and Software Engineering : 23rd International Conference on Fo...
Formal Methods and Software Engineering : 23rd International Conference on Fo...

$72.26

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

$128.53

View Details
Formal Methods and Software Engineering : 20th International Conference on Fo...
Formal Methods and Software Engineering : 20th International Conference on Fo...

$67.22

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

$127.87

View Details
Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...
Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...

$68.69

View Details
Software Engineering and Formal Methods : 15th International Conference, Proc...
Software Engineering and Formal Methods : 15th International Conference, Proc...

$69.18

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

$77.59

View Details
Business Modeling and Software Design : Second International Symposium, BMSD ...
Business Modeling and Software Design : Second International Symposium, BMSD ...

$65.49

View Details
Model-driven Engineering and Software Development : 6th International Confere...
Model-driven Engineering and Software Development : 6th International Confere...

$72.26

View Details
Composing Model-Based Analysis Tools by Heinrich, Robert, Brand New, Free shi...
Composing Model-Based Analysis Tools by Heinrich, Robert, Brand New, Free shi...

$124.38

View Details
Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...
Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...

$79.27

View Details