馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Formal methods for components and objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, revised selected papers /

Corporate Authors: FMCO 2011 Turin, Italy); SpringerLink (Online service)
Group Author: Beckert, Bernhard.
Published:

Electronic eBook

2

Cover is for reference only

Automated reasoning with analytic tableaux and related methods：international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings

Corporate Authors: TABLEAUX 2005 (2005 Koblenz, Germany); LINK (Online service)
Group Author: Beckert Bernhard.
Published: Springer,
Publication Dates: 2005.

Book

3

Cover is for reference only

Formal verification of object-oriented software：international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers

Corporate Authors: FoVeOOS (Conference) (2010 Paris, France); SpringerLink (Online service)
Group Author: Marche Claude.; Beckert Bernhard.
Published: Springer,
Publication Dates: 2011.

Book

4

Cover is for reference only

Tests and proofs：second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings

Corporate Authors: TAP 2008 (2008 Prato, Italy); SpringerLink (Online service)
Group Author: Hähnle Reiner.; Beckert Bernhard.
Published: Springer,
Publication Dates: 2008.

Book

5

Cover is for reference only

Formal verification of object-oriented software：International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers

Corporate Authors: FoVeOOS (Conference) (2011 Turin, Italy); SpringerLink (Online service)
Group Author: Damiani Ferruccio.; Gurov Dilian.; Beckert Bernhard.
Published: Springer,
Publication Dates: c2012.

Book

6

Cover is for reference only

Verification of object-oriented software：the KeY approach

Group Author: Hähnle Reiner.; Schmitt P. H.; (Peter H.) 1948-; Beckert Bernhard.
Published: Springer,
Publication Dates: c2007.
Call Number: TP311.5/V516-1

Book

7

Cover is for reference only

Verification of object-oriented software：the KeY approach

Corporate Authors: ebrary, Inc.
Group Author: Hähnle Reiner.; Schmitt P. H.; (Peter H.) 1948-; Beckert Bernhard.
Published: Springer,
Publication Dates: c2007.

Book

Narrow Search