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

1

Cover is for reference only

Formal methods for mobile computing：5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th 2005 Bertinoro, Italy); LINK (Online service)
Group Author: Bernardo Marco.; Bogliolo Alessandro.
Published: Springer,
Publication Dates: c2005.

Book

2

Cover is for reference only

Formal methods for the design of real-time systems：International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th 2004 Bertinoro, Italy)
Group Author: Corradini Flavio.; Bernardo Marco.
Published: Springer,
Publication Dates: c2004.
Call Number: TP311-532/I616/2004

Book

3

Cover is for reference only

Formal methods for hardware verification：6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy); SpringerLink (Online service)
Group Author: Cimatti Alessandro.; Bernardo Marco.
Published: Springer,
Publication Dates: c2006.

Book

4

Cover is for reference only

Formal methods for hardware verification：6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy)
Group Author: Bernardo Marco.; Cimatti Alessandro.
Published: Springer,
Publication Dates: c2006.
Call Number: TP368.32-532/I616/2006

Book

5

Cover is for reference only

Formal methods for mobile computing：5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th 2005 Bertinoro, Italy)
Group Author: Bogliolo Alessandro.; Bernardo Marco.
Published: Springer,
Publication Dates: 2005.
Call Number: TP368.32-532/I616/2005

Book

6

Cover is for reference only

Formal methods for eternal networked software systems：11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11th 2011 Bertinoro, Italy); SpringerLink (Online service)
Group Author: Issarny Valerie.; Bernardo Marco.
Published: Springer,
Publication Dates: c2011.

Book

7

Cover is for reference only

Formal methods for software architectures：Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication and Software Systems (3rd 2003 Bertinoro, Italy)
Group Author: Bernardo Marco.; Inverardi Paola.
Published: Springer,
Publication Dates: 2003.
Call Number: TP311-532/I616/2003

Book

8

Cover is for reference only

Formal methods for performance evaluation：7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2007 Bertinoro, Italy); NetLibrary, Inc.
Group Author: (Jane), 1963-; Bernardo Marco.; Hillston J.
Published: Springer,
Publication Dates: c2007.

Book

9

Cover is for reference only

Formal methods for Web services：9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 : advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th 2009 Bertinoro, Italy); SpringerLink (Online service)
Group Author: Padovani Luca.; Zavattaro Gianluigi.; Bernardo Marco.
Published: Springer,
Publication Dates: c2009.

Book

10

Cover is for reference only

Formal methods for model-driven engineering：12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (12th 2012 Bertinoro, Italy); SpringerLink (Online service)
Group Author: Cortellessa Vittorio.; Pierantonio Alfonso.; Bernardo Marco.
Published: Springer,
Publication Dates: c2012.

Book

11

Cover is for reference only

A process algebraic approach to software architecture design

Main Authors: Aldini Alessandro.
Corporate Authors: SpringerLink (Online service)
Group Author: Corradini Flavio.; Bernardo Marco.
Published: Springer,
Publication Dates: c2010.

Book

12

Cover is for reference only

Formal methods for computational systems biology：8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th 2008 Bertinoro, Italy); SpringerLink (Online service)
Group Author: Zavattaro Gianluigi.; Bernardo Marco.; Degano Pierpaolo, 1950-
Published: Springer,
Publication Dates: 2008.

Book

Narrow Search