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

1

Cover is for reference only

NASA formal methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, proceedings /

Corporate Authors: NFM (Conference) Pasadena, Calif.)
Group Author: Deshmukh, Jyotirmoy; Havelund, Klaus, 1955-; Perez, Ivan (Research scientist)
Published: Springer,
Publication Dates: [2022]
Call Number: TP301.6-532/N575/2022

Book

2

Cover is for reference only

Languages alive essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /

Corporate Authors: SpringerLink (Online service)
Group Author: Bordihn, Henning.; Kutrib, Martin.; Truthe, Bianca.
Published:

Electronic eBook

3

Cover is for reference only

Formal methods in outer space : essays dedicated to Klaus Havelund on the occasion of his 65th birthday /

Group Author: Havelund, Klaus, 1955-; Bartocci, Ezio (Computer scientist); Falcone, Ylie?s; Leucker, Martin
Published: Springer,
Publication Dates: [2021]
Call Number: TP301.6/F723-1

Book

4

Cover is for reference only

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, proceedings /

Corporate Authors: SETTA (Symposium) Beijing, China)
Group Author: Qin, Shengchao; Woodcock, Jim.; Zhang, Wenhui, 1963-
Published: Springer,
Publication Dates: [2021]
Call Number: TP31-532/S681/2021

Book

5

Cover is for reference only

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /

Corporate Authors: International Conference on Integrated Formal Methods Turku, Finland); SpringerLink (Online service)
Group Author: Johnsen, Einar Broch; Petre, Luigia, 1974-
Published: Springer,
Publication Dates: [2013]

eBook

6

Cover is for reference only

Formal aspects of component software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers /

Corporate Authors: FACS (Symposium) Mountain View, Calif.); SpringerLink (Online service)
Group Author: Păsăreanu, Corina S.; Salaün, G. (Gwen)
Published:

Electronic eBook

7

Cover is for reference only

Computer performance engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, revised selected papers /

Corporate Authors: EPEW (Workshop) Munich, Germany); SpringerLink (Online service); UK Performance Engineering Workshop Edinburgh, Scotland)
Group Author: Tribastone, Mirco.; Gilmore, Stephen, 1962-
Published:

Electronic eBook

8

Cover is for reference only

Formal methods: foundations and applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings /

Corporate Authors: Brazilian Symposium on Formal Methods Brasilia, Brazil); SpringerLink (Online service)
Group Author: Iyoda, Juliano; Moura, Leonardo de
Published: Springer,
Publication Dates: [2013]

eBook

9

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

10

Cover is for reference only

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, revised selected papers /

Corporate Authors: WS-FM (Workshop) Tallinn, Estonia); SpringerLink (Online service)
Group Author: Beek, Maurice H. ter; Lohmann, N. (Niels)
Published: Springer,
Publication Dates: [2013]

eBook

11

Cover is for reference only

Formal techniques for distributed systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedings /

Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems Florence, Italy); SpringerLink (Online service); International Conference on Formal Description Techniques Florence, Italy); International Federated Conferences on Distributed Computing Techniques Florence, Italy)
Group Author: Beyer, Dirk, 1972-; Boreale, Michele
Published: Springer,
Publication Dates: [2013]

eBook

12

Cover is for reference only

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

Corporate Authors: NFM (Symposium) Moffett Field, Calif.); SpringerLink (Online service)
Group Author: Brat, Guillaume; Rungta, Neha S. (Neha Shyam), 1979-; Venet, Arnaud
Published: Springer,
Publication Dates: [2013]

eBook

13

Cover is for reference only

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings /

Corporate Authors: RV (Conference) Rennes, France); SpringerLink (Online service)
Group Author: Legay, Axel; Bensalem, Saddek
Published: Springer,
Publication Dates: 2013.

eBook

14

Cover is for reference only

Computer Performance Engineering : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013 : proceedings /

Corporate Authors: EPEW (Workshop) Venice, Italy); SpringerLink (Online service)
Group Author: Balsamo, Maria Simonetta; Knottenbelt, William J.; Marin, Andrea, 1976-
Published: Springer,
Publication Dates: [2013]

eBook

15

Cover is for reference only

Protocols, strands, and logic : essays dedicated to Joshua Guttman on the the occasion of his 66.66th birthday /

Group Author: Dougherty, Daniel (Professor of computer science); Meseguer, José; Mödersheim, Sebastian; Rowe, Paul (Cyber security researcher); Guttman, Joshua D.
Published: Springer,
Publication Dates: [2021]
Call Number: TP393.08/P967

Book

16

Cover is for reference only

Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, December 6-10, 2021, Proceedings /

Corporate Authors: International Conference on Software Engineering and Formal Methods Online)
Group Author: Calinescu, Radu C., 1968-; Păsăreanu, Corina S.
Published: Springer,
Publication Dates: [2021]
Call Number: TP31-532/I614/2021

Book

17

Cover is for reference only

Leveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, proceedings /

Corporate Authors: ISoLA (Symposium) Rhodes, Greece)
Group Author: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard
Published: Springer,
Publication Dates: [2021]
Call Number: TP301-532/L659/2021

Book

18

Cover is for reference only

Structured object-oriented formal language and method : second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012, revised selected papers /

Corporate Authors: SOFL (Workshop) Kyoto, Japan); SpringerLink (Online service)
Group Author: Liu, Shaoying, 1960-
Published: Springer,
Publication Dates: 2013.

eBook

19

Cover is for reference only

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday /

Corporate Authors: SpringerLink (Online service)
Group Author: Liu, Zhiming, 1961-; Woodcock, Jim.; Zhu, Huibiao.; He, Jifeng, 1943-
Published: Springer,
Publication Dates: 2013.

eBook

20

Cover is for reference only

Formal grammar : 17th and 18th International Conferences, FG 2012/2013, Opole, Poland, August 2012, Revised Selected Papers, Düsseldorf, Germany, August 2013 : proceedings /

Corporate Authors: FG (Conference) Opole, Poland); SpringerLink (Online service); FG (Conference) Düsseldorf, Germany)
Group Author: Morrill, Glyn V.; Nederhof, Mark-Jan
Published: Springer,
Publication Dates: 2013.

eBook

Narrow Search