| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| 3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop | Paperback | | 978-0-387-19624-4 | 1991 | Refinement Workshop 1990 (IBM Uk Laboratories) · British Computer Society Specialist Group in Formal Aspects of computi · IBM Uk Laboratories · Oxford University Computing Laboratory Programming Research Group |
| 3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hurslay Park and the ... 1990, Hursley Park | Taschenbuch | | 978-3-540-19624-2 | 1991 | Jim C.P. Woodcock |
| Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings | Paperback | | 978-3-642-25033-0 | 2012 | Adenilso Simao |
| Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings | Taschenbuch | | 978-3-642-25031-6 | 2011 | " |
| On the Refinement Calculus | " | | 978-3-540-19931-1 | 2013 |
| On the Refinement Calculus | Hardcover | | 978-0-387-19809-5 | 1994 |
| On the Refinement Calculus | Gebunden | | 978-3-540-19809-3 | 1994 | Trevor Vickers |
| Programming from Specifications | Paperback | | 978-0-13-123274-7 | 1994 |
| Programming from specifications | Hardcover | | 978-0-13-726225-0 | 1990 |
| Programming from specifications | Paperback | | 978-0-13-726233-5 | 1990 |
| Programming Methodology | Hardcover | | 978-0-387-95349-6 | 2002 | Annabelle Mclver |
| Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings | Taschenbuch | | 978-3-642-03465-7 | 2009 | Martin Leucker |
| The Science of Quantitative Information Flow | Gebunden | | 978-3-319-96129-3 | 2020 | Mário S. Alvim · Konstantinos Chatzikokolakis · Annabelle McIver · Catuscia Palamidessi · Geoffrey S. Smith |