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

1

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：4th Intern. Conference, TACAS'98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

Group Author: Steffen Bernhard
Published: Springer,
Publication Dates: 1998.
Call Number: TP338.8-532/T671/1998/

Book

2

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings

Corporate Authors: International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1996 Passau, Germany)
Group Author: Steffen Bernhard; Margaria Tiziana
Published: Springer,
Publication Dates: c1996.
Call Number: TP338.8-532/T671/1996/

Book

3

Cover is for reference only

Verification, model checking, and abstract interpretation：5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

Corporate Authors: VMCAI 2004 (2004 Venice, Italy); ACM Symposium on Principles of Programming Languages 2004 Venice, Italy) (Venice, Italy))
Group Author: Levi G.; (Giorgio), 1942-; Steffen Bernhard.
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.1-532/V516/2004

Book

4

Cover is for reference only

Leveraging applications of formal methods, verification and validation：Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Corporate Authors: ISoLA 2008 (2008 Chalkidikē, Greece); SpringerLink (Online service)
Group Author: Margaria Tiziana.; Steffen Bernhard.
Published: Springer,
Publication Dates: 2008.

Book

5

Cover is for reference only

Leveraging applications of formal methods, verification, and validation：4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I

Corporate Authors: ISoLA 2010 (2010 Ērakleion, Greece); SpringerLink (Online service)
Group Author: Steffen Bernhard.; Margaria-Steffen Tiziana, 1964-
Published: Springer,
Publication Dates: 2010.

Book

6

Cover is for reference only

Leveraging applications of formal methods, verification, and validation：4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part II

Corporate Authors: ISoLA 2010 (2010 Ērakleion, Greece); SpringerLink (Online service)
Group Author: Steffen Bernhard.; Margaria-Steffen Tiziana, 1964-
Published: Springer,
Publication Dates: 2010.

Book

7

Cover is for reference only

Leveraging applications of formal methods：first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers

Corporate Authors: ISoLA 2004 (2004 Paphos, Cyprus)
Group Author: Margaria-Steffen Tiziana, 1964-; Steffen Bernhard.
Published: Springer,
Publication Dates: c2006.
Call Number: TP301-532/L659/2004

Book

8

Cover is for reference only

Leveraging applications of formal methods：first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers

Corporate Authors: ISoLA 2004 (2004 Paphos, Cyprus); SpringerLink (Online service)
Group Author: Steffen Bernhard.; Margaria-Steffen Tiziana, 1964-
Published: Springer,
Publication Dates: c2006.

Book

9

Cover is for reference only

Correct system design：recent insights and advances

Group Author: Steffen Bernhard; Olderog E.-R
Published: Springer,
Publication Dates: 1999.
Call Number: TP302.1/C824

Book

10

Cover is for reference only

Reliable Software Technologies - Ada-Europe 2009：14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Main Authors: Hutchison David
Corporate Authors: SpringerLink (Online service)
Group Author: Steffen Bernhard.; Kittler Josef.; Nierstrasz Oscar.; Pandu Rangan C.; Sudan Madhu.; Mitchell John C.; Mattern Friedemann.; Naor Moni; Vardi Moshe Y.; Tygar Doug.; Kanade Takeo.; Kermarrec Yvon.; Kordon Fabrice.; Weikum Gerhard.; Terzopoulos Demetri.; Kleinberg Jon M.
Published: Springer Berlin Heidelberg,
Publication Dates: 2009.

Book

Narrow Search