Integrated Formal Methods Ábrahám, Erika
Integrated Formal Methods: 12th International Conference eBooks & eLearning
Posted by Jeembo at July 28, 2017
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings by Erika Ábrahám, Marieke Huisman
English | 2016 | ISBN: 3319336924 | 538 Pages | PDF | 49.4 MB
English | 2016 | ISBN: 3319336924 | 538 Pages | PDF | 49.4 MB
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 200 eBooks & eLearning
Posted by insetes at April 5, 2019
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures By Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
2003 | 512 Pages | ISBN: 3540203036 | PDF | 4 MB
2003 | 512 Pages | ISBN: 3540203036 | PDF | 4 MB