The Practice of Formal Methods

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015 eBooks & eLearning

Posted by roxul at March 26, 2016

Michael Butler and Sylvain Conchon, "Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015"
English | ISBN: 3319254227 | 2016 | 464 pages | PDF | 25 MB

Details

Specification of Software Systems (Repost) eBooks & eLearning

Posted by insetes at July 9, 2019

Specification of Software Systems By V.S. Alagar, K. Periyasamy
2011 | 671 Pages | ISBN: 0857292765 | PDF | 5 MB

Details

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions eBooks & eLearning

Posted by arundhati at June 16, 2025

Details

Towards the Implementation of Formal Formative Assessment in Inquiry-Based Science Education in Switzerland eBooks & eLearning

Posted by roxul at Aug. 25, 2023

Regula Grob, "Towards the Implementation of Formal Formative Assessment in Inquiry-Based Science Education in Switzerland"
English | ISBN: 3832544844 | 2017 | 350 pages | PDF | 5 MB

Details

Leveraging Applications of Formal Methods, Verification, and Validation, part 2 (repost) eBooks & eLearning

Posted by tot167 at March 28, 2011

Tiziana Margaria, Bernhard Steffen, "Leveraging Applications of Formal Methods, Verification, and Validation, part 2"
Sp..er | 2010 | ISBN: 3642165605 | 498 pages | PDF | 10 MB

Details

Formal Methods and Software Engineering eBooks & eLearning

Posted by DZ123 at March 16, 2017

Stephan Merz, Jun Pang, "Formal Methods and Software Engineering"
English | 2014 | ISBN: 331911736X | PDF | pages: 476 | 8.0 mb

Details

Leveraging Applications of Formal Methods, Verification, and Validation eBooks & eLearning

Posted by tot167 at Nov. 19, 2010

Tiziana Margaria and Bernhard Steffen, "Leveraging Applications of Formal Methods, Verification, and Validation"
Sp–ger | 2010 | ISBN: 3642165575 | 708 pages | PDF | 13,9 MB

Details

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Sympos eBooks & eLearning

Posted by insetes at April 8, 2019

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II By Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
2012 | 361 Pages | ISBN: 3642340318 | PDF | 9 MB

Details

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Sy eBooks & eLearning

Posted by insetes at Nov. 17, 2018

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I By Tiziana Margaria, Bernhard Steffen (eds.)
2014 | 547 Pages | ISBN: 3662452332 | PDF | 18 MB

Details

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th Internatio eBooks & eLearning

Posted by insetes at Nov. 17, 2018

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II By Tiziana Margaria, Bernhard Steffen (eds.)
2014 | 644 Pages | ISBN: 3662452308 | PDF | 21 MB

Details