fm 2015 Formal Methods
FM 2015: Formal Methods eBooks & eLearning
Posted by step778 at Dec. 5, 2017
Nikolaj Bjørner, Frank de Boer, "FM 2015: Formal Methods"
2015 | pages: 620 | ISBN: 3319192485 | PDF | 14,3 mb
2015 | pages: 620 | ISBN: 3319192485 | PDF | 14,3 mb
Web Services, Formal Methods, and Behavioral Types eBooks & eLearning
Posted by step778 at May 27, 2022
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, "Web Services, Formal Methods, and Behavioral Types"
English | 2016 | pages: 179 | ISBN: 3319336118 | PDF | 5,9 mb
English | 2016 | pages: 179 | ISBN: 3319336118 | PDF | 5,9 mb
Unifying Theories of Programming [Repost] eBooks & eLearning
Posted by Rare-1 at Dec. 17, 2015
![Unifying Theories of Programming [Repost]](https://pixhost.icu/avaxhome/a9/20/003a20a9_medium.jpeg)
David Naumann "Unifying Theories of Programming"
Publisher: Springer | English | 2015 | ISBN:3319148052 | 143 pages | PDF | 3.3 MB
Publisher: Springer | English | 2015 | ISBN:3319148052 | 143 pages | PDF | 3.3 MB
Unifying Theories of Programming eBooks & eLearning
Posted by andr1078 at May 31, 2015
David Naumann "Unifying Theories of Programming"
Publisher: Springer | English | 2015 | ISBN:3319148052 | 143 pages | PDF | 3.3 MB
Publisher: Springer | English | 2015 | ISBN:3319148052 | 143 pages | PDF | 3.3 MB
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.
Unifying Theories of Programming eBooks & eLearning
Posted by step778 at April 9, 2020
David Naumann, "Unifying Theories of Programming"
English | 2015 | pages: 151 | ISBN: 3319148052 | PDF | 3,3 mb
English | 2015 | pages: 151 | ISBN: 3319148052 | PDF | 3,3 mb