Online Library TheLib.net » Author books / Книги автора K. Rustan M. Leino (auth.) Mihaela Bobaru Klaus Havelund Gerard J. Holzmann Rajeev Joshi (eds.)
book NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
pdf
00
06.02.2024
0
0
Read online
book Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc
pdf
00
27.01.2024
0
0
Read online
book Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
pdf
00
27.01.2024
0
0
Read online
book Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc
pdf
00
27.01.2024
0
0
Read online
book Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
pdf
00
27.01.2024
0
0
Read online
book Design and validation of computer protocols
Design and validation of computer protocols
djvu
00
27.01.2024
0
0
Read online
book Design and validation of computer protocols
Design and validation of computer protocols
gz
00
27.01.2024
0
0
Read online
book The spin model checker : primer and reference manual
The spin model checker : primer and reference manual
gz
00
27.01.2024
0
0
Read online
book NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
pdf
00
27.01.2024
0
0
Read online
book Design And Validation Of Computer Protocols
Design And Validation Of Computer Protocols
pdf
00
27.01.2024
0
0
Read online
1 2