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

1

Cover is for reference only

Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, proceedings. Part II /

Corporate Authors: TACAS Conference Thessalonikē, Greece; ETAPS Conference Thessalonikē , Greece
Group Author: Beyer, Dirk, 1972; Huisman, Marieke
Published: Springer Open,
Publication Dates: [2018]
Call Number: TP338.8-532/T671/2018/pt.2

Book

2

Cover is for reference only

Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, proceedings. Part I /

Corporate Authors: TACAS Conference Thessalonikē, Greece; ETAPS Conference Thessalonikē , Greece
Group Author: Beyer, Dirk, 1972; Huisman, Marieke
Published: Springer Open,
Publication Dates: [2018]
Call Number: TP338.8-532/T671/2018/pt.1

Book

3

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

4

Cover is for reference only

Tools and algorithms for the construction and analysis of systems : 25 years of TACAS: TOOLympics held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, proceedings. Part III /

Corporate Authors: TACAS Conference Prague, Czech Republic; ETAPS Conference Prague, Czech Republic
Group Author: Beyer, Dirk, 1972; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Published: Springer,
Publication Dates: [2019]
Call Number: TP338.8-532/T671/2019/pt.3

Book

Narrow Search