formal-methods-in-computer-science

You May Like

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the F 5161

$31.21

View Details
Formal Methods and Software - Paperback, by Ait-Ameur Yamine; Qin - Good
Formal Methods and Software - Paperback, by Ait-Ameur Yamine; Qin - Good

$55.33

View Details
Formal Methods for Industrial Critical Systems : A Survey of Applications, Pa...
Formal Methods for Industrial Critical Systems : A Survey of Applications, Pa...

$90.00

View Details
Formal Methods for Industrial Critical Systems 12th Internationa
Formal Methods for Industrial Critical Systems 12th Internationa

$22.99

View Details
Formal Methods In Computer Science
Formal Methods In Computer Science

$113.49

View Details
Formal Methods In Computer Science
Formal Methods In Computer Science

$204.50

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 in Human-Computer Interaction (Cambridge Series on Human-C - GOOD
Formal Methods in Human-Computer Interaction (Cambridge Series on Human-C - GOOD

$10.65

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

$15.89

View Details
Formal Methods in Computer-Aided Design: First International Conference,...
Formal Methods in Computer-Aided Design: First International Conference,...

$11.13

View Details
Formal Methods in Computer Science - 9781498775328
Formal Methods in Computer Science - 9781498775328

$78.34

View Details
Formal Methods in Computer Science by Jiacun Wang (English) Paperback Book
Formal Methods in Computer Science by Jiacun Wang (English) Paperback Book

$96.93

View Details
FORMAL METHODS IN ARTIFICIAL INTELLIGENCE (CAMBRIDGE By Allan M. Ramsay *VG+*
FORMAL METHODS IN ARTIFICIAL INTELLIGENCE (CAMBRIDGE By Allan M. Ramsay *VG+*

$23.95

View Details
Formal Methods in Computer Science, Hardcover by Wang, Jiacun; Tepfenhart, Wi...
Formal Methods in Computer Science, Hardcover by Wang, Jiacun; Tepfenhart, Wi...

$204.48

View Details
Formal Methods for Real-Time Computing By Constance Heitmeyer
Formal Methods for Real-Time Computing By Constance Heitmeyer

$52.33

View Details
Formal Methods in Computer Science, Paperback by Wang, Jiacun; Tepfenhart, Wi...
Formal Methods in Computer Science, Paperback by Wang, Jiacun; Tepfenhart, Wi...

$113.47

View Details
Formal Methods in Computer Science, Hardcover by Wang, Jiacun; Tepfenhart, Wi...
Formal Methods in Computer Science, Hardcover by Wang, Jiacun; Tepfenhart, Wi...

$204.49

View Details
Formal Methods in Human-Computer Interaction by H. Thimbleby (1990, Hardcover)
Formal Methods in Human-Computer Interaction by H. Thimbleby (1990, Hardcover)

$25.98

View Details
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and

$5.29

View Details
Software Engineering and Formal Methods: 19th International Conference
Software Engineering and Formal Methods: 19th International Conference

$37.99

View Details
Formal Methods for Industrial Critical Systems: 24th FMICS 2019 COMPUTER SCI
Formal Methods for Industrial Critical Systems: 24th FMICS 2019 COMPUTER SCI

$51.79

View Details
Teaching and Learning Formal Methods by Dean, C. Neville
Teaching and Learning Formal Methods by Dean, C. Neville

$12.86

View Details
Formal Methods in Human-Computer Interaction (Cambri...
Formal Methods in Human-Computer Interaction (Cambri...

$10.69

View Details
Formal Methods in Human-Computer Interaction (Paperback or Softback)
Formal Methods in Human-Computer Interaction (Paperback or Softback)

$62.79

View Details
Formal Methods in Computer Science by Jiacun Wang: New
Formal Methods in Computer Science by Jiacun Wang: New

$220.55

View Details
Formal Methods in Artificial Intelligence by Ramsay, Allan
Formal Methods in Artificial Intelligence by Ramsay, Allan

$11.23

View Details
Formal Methods in Artificial Intelligence Hardcover Allan M. Rams
Formal Methods in Artificial Intelligence Hardcover Allan M. Rams

$18.63

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

$29.74

View Details
FORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY: 8TH By Marco Bernardo NEW
FORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY: 8TH By Marco Bernardo NEW

$65.95

View Details
FORMAL METHODS IN COMPUTING By M. Ferenczi & Miklos Ferenczi - Hardcover *VG+*
FORMAL METHODS IN COMPUTING By M. Ferenczi & Miklos Ferenczi - Hardcover *VG+*

$52.95

View Details
Jean-Louis Boulan Formal Methods Applied to Complex Syst (Hardback) (UK IMPORT)
Jean-Louis Boulan Formal Methods Applied to Complex Syst (Hardback) (UK IMPORT)

$278.29

View Details
Computer-Aided Verification: A Special Issue of Formal Methods In System Desig..
Computer-Aided Verification: A Special Issue of Formal Methods In System Desig..

$24.77

View Details
The Way of Z: Practical Programming with Formal Methods by
The Way of Z: Practical Programming with Formal Methods by

$8.79

View Details
Formal Methods in Human-Computer Interaction, Paperback by Harrison, Michael ...
Formal Methods in Human-Computer Interaction, Paperback by Harrison, Michael ...

$62.77

View Details
Z : An Introduction to Formal Methods Paperback Antoni Diller
Z : An Introduction to Formal Methods Paperback Antoni Diller

$9.64

View Details
Formal Methods in Computer Science by Jiacun Wang (English) Paperback Book
Formal Methods in Computer Science by Jiacun Wang (English) Paperback Book

$128.75

View Details
VERIFICATION OF REACTIVE SYSTEMS: FORMAL METHODS AND By Klaus Schneider
VERIFICATION OF REACTIVE SYSTEMS: FORMAL METHODS AND By Klaus Schneider

$74.75

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

$21.51

View Details
Software Development With Z: A Practical Approach to Formal Methods - VERY GOOD
Software Development With Z: A Practical Approach to Formal Methods - VERY GOOD

$6.20

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

$38.09

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

$16.35

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

$58.56

View Details
Modern Formal Methods and Applications, , Very Good Book
Modern Formal Methods and Applications, , Very Good Book

$31.12

View Details
Teaching and Learning Formal Methods by C. Neville Dean (1996 Paperback)
Teaching and Learning Formal Methods by C. Neville Dean (1996 Paperback)

$17.00

View Details
Formal Methods in Computer Science by Jiacun Wang (English) Hardcover Book
Formal Methods in Computer Science by Jiacun Wang (English) Hardcover Book

$297.41

View Details
Z: An Introduction to Formal Methods by Diller, Antoni
Z: An Introduction to Formal Methods by Diller, Antoni

$12.63

View Details
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS: 15TH By Rohit Gheyi & David NEW
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS: 15TH By Rohit Gheyi & David NEW

$16.95

View Details
Formal Methods for Components And Objects : 4th International Symposium, FMCO...
Formal Methods for Components And Objects : 4th International Symposium, FMCO...

$68.69

View Details
Formal Methods for Safety and Security : Case Studies for Aerospace Applications
Formal Methods for Safety and Security : Case Studies for Aerospace Applications

$44.65

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

$56.77

View Details
Industrial-Strength Formal Methods in Practice
Industrial-Strength Formal Methods in Practice

$18.19

View Details
Formal Methods in Computer-Aided Design : Second Internaitonal Conference, Fm...
Formal Methods in Computer-Aided Design : Second Internaitonal Conference, Fm...

$68.92

View Details
Leveraging Applications of Formal Methods, Verification and Validation. Verif...
Leveraging Applications of Formal Methods, Verification and Validation. Verif...

$25.00

View Details
Z: AN INTRODUCTION TO FORMAL METHODS By Antoni Diller **BRAND NEW**
Z: AN INTRODUCTION TO FORMAL METHODS By Antoni Diller **BRAND NEW**

$29.75

View Details
Formal Methods in Human-Computer Interaction by Michael Harrison (English) Paper
Formal Methods in Human-Computer Interaction by Michael Harrison (English) Paper

$78.05

View Details
Formal Methods for Industrial Critical Systems : A Survey of Applications, Pa...
Formal Methods for Industrial Critical Systems : A Survey of Applications, Pa...

$112.75

View Details
Relational and Algebraic Methods in Computer Science : 13th International Con...
Relational and Algebraic Methods in Computer Science : 13th International Con...

$67.21

View Details
Software Engineering and Formal Methods - by Radu Calinescu [English]
Software Engineering and Formal Methods - by Radu Calinescu [English]

$19.95

View Details
William Tepfenhart - Formal Methods in Computer Science - New Paperbac - N555z
William Tepfenhart - Formal Methods in Computer Science - New Paperbac - N555z

$135.75

View Details
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD

$68.94

View Details
Leveraging Applications of Formal Methods, Verification and Validation. Adaptati
Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

$60.00

View Details
Understanding Formal Methods by Monin, Jean-Francois
Understanding Formal Methods by Monin, Jean-Francois

$83.70

View Details
Applying Andragogical Principles to Internet Learning by Isenberg, Susan
Applying Andragogical Principles to Internet Learning by Isenberg, Susan

$21.06

View Details
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 200
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 200

$68.71

View Details
Integrated Formal Methods: 5th International Conference, IFM
Integrated Formal Methods: 5th International Conference, IFM

$43.81

View Details
Formal Methods : Foundations and Applications; 19th Brazilian Symposium, Sbmf...
Formal Methods : Foundations and Applications; 19th Brazilian Symposium, Sbmf...

$68.71

View Details
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '

$67.23

View Details
The Way of Z : Practical Programming with Formal Methods Perfect
The Way of Z : Practical Programming with Formal Methods Perfect

$10.37

View Details
Software Engineering and Formal Methods : 11th International Conference, Sefm...
Software Engineering and Formal Methods : 11th International Conference, Sefm...

$66.25

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

View Details
Formal Methods in Macro-Biology : First International Conference, FMMB 2014, ...
Formal Methods in Macro-Biology : First International Conference, FMMB 2014, ...

$69.24

View Details
Formal Methods in Computer Science, Paperback by Wang, Jiacun; Tepfenhart, Wi...
Formal Methods in Computer Science, Paperback by Wang, Jiacun; Tepfenhart, Wi...

$101.90

View Details
FORMAL METHODS FOR EMBEDDED DISTRIBUTED SYSTEMS: HOW TO By Fabrice Kordon VG
FORMAL METHODS FOR EMBEDDED DISTRIBUTED SYSTEMS: HOW TO By Fabrice Kordon VG

$63.95

View Details
Adult Learning in the Digital Age: Information Technology and the Learnin - GOOD
Adult Learning in the Digital Age: Information Technology and the Learnin - GOOD

$11.20

View Details
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 200
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 200

$75.38

View Details
Z.: An Introduction to Formal Methods By Antoni Diller
Z.: An Introduction to Formal Methods By Antoni Diller

$12.20

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

$29.56

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

$86.53

View Details
Formal Methods in Human-Computer Interaction by Philippe Palanque (English) Pape
Formal Methods in Human-Computer Interaction by Philippe Palanque (English) Pape

$67.23

View Details
Symbolic Simulation Methods for Industrial Formal Verification
Symbolic Simulation Methods for Industrial Formal Verification

$20.43

View Details
Formal Methods Applied to Industrial Complex Systems, Hardcover by Boulanger,...
Formal Methods Applied to Industrial Complex Systems, Hardcover by Boulanger,...

$175.73

View Details
Hu - Formal Methods in Computer-Aided Design 5th International Confe - T555z
Hu - Formal Methods in Computer-Aided Design 5th International Confe - T555z

$78.12

View Details
Integrated Formal Methods: 7th International Conference, Ifm 2009,...
Integrated Formal Methods: 7th International Conference, Ifm 2009,...

$50.18

View Details
Applications of Formal Methods Hardcover Michael G., Bowen, Jonat
Applications of Formal Methods Hardcover Michael G., Bowen, Jonat

$30.50

View Details
Bjrner - Formal Methods in Programming and Their Applications Inter - N555z
Bjrner - Formal Methods in Programming and Their Applications Inter - N555z

$78.12

View Details
Formal Methods in Human-Computer Interaction by Philippe Palanque (English) Pape
Formal Methods in Human-Computer Interaction by Philippe Palanque (English) Pape

$69.66

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
Make: Three Modes of Making: Designing Purposeful Projects to Teach Maker - GOOD
Make: Three Modes of Making: Designing Purposeful Projects to Teach Maker - GOOD

$15.91

View Details
FORMAL METHODS AND MODELS FOR SYSTEM DESIGN: A SYSTEM By Rajesh Gupta & Le Paul
FORMAL METHODS AND MODELS FOR SYSTEM DESIGN: A SYSTEM By Rajesh Gupta & Le Paul

$70.95

View Details
Formal Methods for Components and Objects : First International Symposium, Fm...
Formal Methods for Components and Objects : First International Symposium, Fm...

$68.92

View Details
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Camb
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Camb

$72.30

View Details
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf ...
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf ...

$52.30

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

View Details
Palanque - Formal Methods in Human-Computer Interaction - New paperba - S9000z
Palanque - Formal Methods in Human-Computer Interaction - New paperba - S9000z

$69.20

View Details
Jean-Louis Boulanger Formal Methods (Hardback) (UK IMPORT)
Jean-Louis Boulanger Formal Methods (Hardback) (UK IMPORT)

$244.21

View Details
UNDERSTANDING FORMAL METHODS (FACIT S) By Jean-francois Monin & M G Hinchey Mint
UNDERSTANDING FORMAL METHODS (FACIT S) By Jean-francois Monin & M G Hinchey Mint

$114.49

View Details

© 2008-2024 formal-methods-in-computer-science (https://www.quincenc.com/). All Rights Reserved.