Gå direkt till innehållet
Formal Verification of Object-Oriented Software
Spara

Formal Verification of Object-Oriented Software

Lägsta pris på PriceRunner

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701.

Undertitel
International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Upplaga
2011 ed.
ISBN
9783642180699
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2011-01-14
Sidor
199