A to Z List of Ebooks
| Title | Author | ISBN | Publisher | Subject | Vol/Edition | Year |
|---|---|---|---|---|---|---|
| Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications | Chuchu Fan |
9798400708657 |
Association for Computing Machinery |
Software Engineering |
2024 |
|
| Formal Methods for the Analysis of Biomedical Ontologies | Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui |
9783031121319 |
Synthesis Collection of Technology (R0) |
Biomedical Ontologies |
2022 |
|
| Formal Methods in Computer-Aided Design | Mandayam Srivas, Albert Camilleri |
9783540495673 |
Springer |
Computer Science |
1166 |
1996 |
| Formal Methods in Programming and Their Applications | Dines Bjørner, Manfred Broy, Igor V. Pottosin |
9783540480563 |
Springer |
Computer Science |
735 |
1993 |
| Formal Methods: Foundations and Applications | Gustavo Carvalho, Volker Stolz |
9783030638825 |
Springer |
Computer Science |
2020 |
|
| Formal Methods. FM 2019 International Workshops | Emil Sekerinski…(et al.) |
9783030549978 |
Springer |
Computer Science |
2020 |
|
| Formal Methods. FM 2019 International Workshops | Emil Sekerinski…(et al.) |
9783030549947 |
Springer |
Computer Science |
2020 |
|
| Formal Model of Visualization in Computer Graphics Systems | Tamiya Onodera, Satoru Kawai |
9783540469797 |
Springer |
Computer Science |
421 |
1990 |
| Formal Modeling and Analysis of Timed Systems | Nathalie Bertrand, Nils Jansen |
9783030576288 |
Springer |
Computer Science |
2020 |
|
| Formal Moduli of Algebraic Structures | Olav Arnfinn Laudal |
9783540385325 |
Springer |
Mathematics |
754 |
1979 |
| Formal Program Development | Bernhard Möller, Helmut Partsch, Steve Schuman |
9783540481973 |
Springer |
Computer Science |
755 |
1993 |
| Formal Properties of Finite Automata and Applications | J. E. Pin |
9783540467212 |
Springer |
Computer Science |
386 |
1989 |
| Formal Systems Specification | Manfred Broy, Stephan Merz, Katharina Spies |
9783540495734 |
Springer |
Computer Science |
1169 |
1996 |
| Formal Techniques for Distributed Objects, Components, and Systems | Alexey Gotsman, Ana Sokolova |
9783030500863 |
Springer |
Computer Science |
2020 |
|
| Formal Techniques for Safety-Critical Systems | Osman Hasan, Frédéric Mallet |
9783030469023 |
Springer |
Computer Science |
2020 |
|
| Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden | Bengt Jonsson, Joachim Parrow |
9783540706533 |
Springer |
Computer Science |
1135 |
1996 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK | M. Joseph |
9783540459651 |
Springer |
Computer Science |
331 |
1988 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands | Jan Vytopil |
9783540466925 |
Springer |
Computer Science |
571 |
1992 |
| Formal Verification of Just-in-Time Compilation | Aurèle Barrière |
9798400713774 |
Association for Computing Machinery |
Software Engineering |
2025 |
|
| Formalization of Programming Concepts | J. DÃaz, I. Ramos |
9783540386544 |
Springer |
Computer Science |
107 |
1981 |
