MayDay Sale → Spara upp till 60%
Alla 5s utgivelser på Bernhard Beckert
Kategorier
Annan
Kundservice
SEK
![Cover for Bernhard Beckert · Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/869/9783642358869.jpg?bernhard-beckert-2013-formal-methods-for-components-and-objects-10th-international-symposium-fmco-2011-turin-italy-october-3-5-2011-revised-selected-papers-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1512555415)
![Cover for Bernhard Beckert · Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/613/9783642317613.jpg?bernhard-beckert-2012-formal-verification-of-object-oriented-software-international-conference-foveoo-2011-turin-italy-october-5-7-2011-revised-selected-papers-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1512555415)
![Cover for Bernhard Beckert · Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - Programming and Software Engineering (Pocketbok) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/699/9783642180699.jpg?bernhard-beckert-2011-formal-verification-of-object-oriented-software-international-conference-foveoos-2010-paris-france-june-28-30-2010-revised-selected-papers-programming-and-software-engineering-pocketbok&class=scaled&v=1509023886)
![Cover for Bernhard Beckert · Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings - Programming and Software Engineering (Pocketbok) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/232/9783540791232.jpg?bernhard-beckert-2008-tests-and-proofs-second-international-conference-tap-2008-prato-italy-april-9-11-2008-proceedings-programming-and-software-engineering-pocketbok&class=scaled&v=1512555415)
![Cover for Bernhard Beckert · Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino - Lecture Notes in Artificial Intelligence (Pocketbok) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/775/9783540689775.jpg?bernhard-beckert-2007-verification-of-object-oriented-software-the-key-approach-foreword-by-k-rustan-m-leino-lecture-notes-in-artificial-intelligence-pocketbok&class=scaled&v=1604032492)