Niet blij met je aankoop? Geeft niet! Je kunt artikelen tot 30 dagen retourneren
Met een cadeaubon zit je altijd goed. De ontvanger kan de cadeaubon voor alles uit ons assortiment inwisselen.
Tot 30 dagen retourrecht
This book constitutes the thoroughly refereed post-conference§proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF§2010, held in Natal, Brazil, in November 2010.§The 18 revised full papers were carefully reviewed and selected from§55 submissions. The papers presented cover a broad range of foundational§and methodological issues in formal methods for the design and analysis§of software and hardware systems as well as applications in various§domains.
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?