A to Z List of eBooks
| Title | Author | Publisher | Subject | Year | ISBN/e-ISBN | URL |
|---|---|---|---|---|---|---|
| Formal Methods and Software Development | Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher |
Springer |
Computer Science |
1985 |
978-3-540-15199-9 |
http://dx.doi.org/10.1007/3-540-15199-0 |
| Formal Methods and Software Engineering | Shang-Wei Lin, Zhe Hou, Brendan Mahony |
Springer |
Computer Science |
2020 |
978-3-030-63406-3 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-63406-3 |
| Formal Methods for Industrial Applications | Jean-Raymond Abrial, Egon Börger, Hans Langmaack |
Springer |
Computer Science |
1996 |
978-3-540-61929-1 |
http://dx.doi.org/10.1007/BFb0027227 |
| Formal Methods for Industrial Critical Systems | Maurice H. ter Beek, Dejan Ničković |
Springer |
Computer Science |
2020 |
978-3-030-58298-2 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-58298-2 |
| Formal Methods in Computer-Aided Design | Mandayam Srivas, Albert Camilleri |
Springer |
Computer Science |
1996 |
978-3-540-61937-6 |
http://dx.doi.org/10.1007/BFb0031795 |
| Formal Methods in Programming and Their Applications | Dines Bjørner, Manfred Broy, Igor V. Pottosin |
Springer |
Computer Science |
1993 |
978-3-540-57316-6 |
http://dx.doi.org/10.1007/BFb0039695 |
| Formal Methods: Foundations and Applications | Gustavo Carvalho, Volker Stolz |
Springer |
Computer Science |
2020 |
978-3-030-63882-5 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-63882-5 |
| Formal Methods. FM 2019 International Workshops (Part - I) | Emil Sekerinski | Springer | Computer Science | 2020 | 978-3-030-54994-7 | Link |
| Formal Methods. FM 2019 International Workshops (Part - II) | Emil Sekerinski | Springer | Computer Science | 2020 | 978-3-030-54997-8 | Link |
| Formal Modeling and Analysis of Timed Systems | Nathalie Bertrand, Nils Jansen |
Springer |
Computer Science |
2020 |
978-3-030-57628-8 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-57628-8 |
| Formal Moduli of Algebraic Structures | Olav Arnfinn Laudal |
Springer |
Mathematics |
1979 |
978-3-540-09702-0 |
http://dx.doi.org/10.1007/BFb0065055 |
| Formal Program Development | Bernhard Möller, Helmut Partsch, Steve Schuman |
Springer |
Computer Science |
1993 |
978-3-540-57499-6 |
http://dx.doi.org/10.1007/3-540-57499-9 |
| Formal Properties of Finite Automata and Applications | J. E. Pin |
Springer |
Computer Science |
1989 |
978-3-540-51631-6 |
http://dx.doi.org/10.1007/BFb0013106 |
| Formal Systems Specification | Manfred Broy, Stephan Merz, Katharina Spies |
Springer |
Computer Science |
1996 |
978-3-540-61984-0 |
http://dx.doi.org/10.1007/BFb0024423 |
| Formal Techniques for Distributed Objects, Components, and Systems | Alexey Gotsman, Ana Sokolova |
Springer |
Computer Science |
2020 |
978-3-030-50086-3 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-50086-3 |
| Formal Techniques for Safety-Critical Systems | Osman Hasan, Frédéric Mallet |
Springer |
Computer Science |
2020 |
978-3-030-46902-3 |
http://link.springer.com/openurl?genre=book&isbn=978-3-030-46902-3 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden | Bengt Jonsson, Joachim Parrow |
Springer |
Computer Science |
1996 |
978-3-540-61648-1 |
http://dx.doi.org/10.1007/3-540-61648-9 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK | M. Joseph |
Springer |
Computer Science |
1988 |
978-3-540-50302-6 |
http://dx.doi.org/10.1007/3-540-50302-1 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands | Jan Vytopil |
Springer |
Computer Science |
1992 |
978-3-540-55092-1 |
http://dx.doi.org/10.1007/3-540-55092-5 |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany | Hans Langmaack, Willem-Paul Roever, Jan Vytopil |
Springer |
Computer Science |
1994 |
978-3-540-58468-1 |
http://dx.doi.org/10.1007/3-540-58468-4 |
