Bernhard Beckertのリリース

iMusicに在庫あり在庫なし商品を表示

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 (Paperback Book) [2013 edition] (2013)

Formal Methods for Components an... (2013)

Bernhard Beckert

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 (Paperback Book) [2012 edition] (2012)

Formal Verification of Object-Or... (2012)

Bernhard Beckert

Cover for Bernhard Beckert · Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings - Programming and Software Engineering (Paperback Book) [2008 edition] (2008)

Tests and Proofs: Second Interna... (2008)

Bernhard Beckert

Cover for Bernhard Beckert · Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino - Lecture Notes in Artificial Intelligence (Paperback Book) [2007 edition] (2007)

Verification of Object-Oriented ... (2007)

Bernhard Beckert