Dilian Gurov – författare
Visar alla böcker från författaren Dilian Gurov. Handla med fri frakt och snabb leverans.
2 produkter
Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Av Bernhard Beckert, Ferruccio Damiani m. fl.
Häftad, 2012
523 kr
Lägg i varukorg
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 …
Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Av Dilian Gurov, Ferruccio Damiani m. fl.
E-bok, 2012
672 kr
Lägg i varukorg
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 …
