Online Library TheLib.net » Author books / Книги автора Anindya Banerjee (auth.) Bernhard Beckert Ferruccio Damiani Dilian Gurov (eds.)
book Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
pdf
00
06.02.2024
0
0
Read online
book Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
pdf
00
27.01.2024
0
0
Read online