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

1

Cover is for reference only

Model checking software : 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, proceedings /

Corporate Authors: International SPIN Workshop Online)
Group Author: Legunsen, Owolabi; Roşu, Grigore
Published: Springer,
Publication Dates: [2022]
Call Number: TP311.5-532/I617-1/2022

Book

2

Cover is for reference only

Model checking software：13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings

Corporate Authors: International SPIN Workshop (13th 2006 Vienna, Austria
Group Author: Valmari Antti
Published: Springer,
Publication Dates: 2006.
Call Number: TP311.5-532/I617-1/2006

Book

3

Cover is for reference only

Hardware and software, verification and testing：First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers

Corporate Authors: International Haifa Verification Conference (1st 2005 Haifa, Israel
Group Author: Ur Shmuel; Bin Eyal; Wolfsthal Yaron
Published: Springer,
Publication Dates: 2006.
Call Number: TP306-532/I615/2005

Book

4

Cover is for reference only

Verification, model checking, and abstract interpretation：7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings

Corporate Authors: VMCAI 2006 (2006 Charleston, S.C
Group Author: Emerson E. Allen; Namjoshi Kedar S
Published: Springer-Verlag,
Publication Dates: 2006.
Call Number: TP311.1-532/V516/2006

Book

5

Cover is for reference only

Correct hardware design and verification methods：13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings

Corporate Authors: CHARME 2005 (2005 Saarbrücken, Germany); IFIP WG 10.5; LINK (Online service)
Group Author: Borrione Dominique.; Paul Wolfgang J., 1951-
Published: Springer,
Publication Dates: 2005.

Book

6

Cover is for reference only

Correct hardware design and verification methods：13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbr··ucken, Germany, October 3-6, 2005 : proceedings

Corporate Authors: CHARME 2005 (2005 Saarbr··ucken, Germany
Group Author: Borrione Dominique; Paul Wolfgang J 1951-
Published: Springer,
Publication Dates: c2005.
Call Number: TP303-532/A244-1/2005

Book

7

Cover is for reference only

Computer aided verification：17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

Corporate Authors: CAV 2005 (2005 Edinburgh, Scotland); LINK (Online service)
Group Author: Etessami Kousha.; Rajamani Sriram K., 1970-
Published: Springer,
Publication Dates: c2005.

Book

8

Cover is for reference only

Verification, model checking, and abstract interpretation：6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

Corporate Authors: VMCAI 2005 (2005 Paris, France
Group Author: Cousot Radhia
Published: Springer,
Publication Dates: c2005.
Call Number: TP311.1-532/V516/2005

Book

9

Cover is for reference only

Trustworthy global computing：international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers

Corporate Authors: TGC 2005 (2005 Edinburgh, Scotland
Group Author: De Nicola Rocco; Sangiorgi Davide
Published: Springer,
Publication Dates: c2005.
Call Number: TP309-532/T873/2005

Book

10

Cover is for reference only

Model checking software：12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings

Corporate Authors: International SPIN Workshop (12th 2005 San Francisco, Calif
Group Author: Godefroid Patrice
Published: Springer,
Publication Dates: c2005.
Call Number: TP311.5-532/I617-1/2005

Book

11

Cover is for reference only

Computer aided verification：17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

Corporate Authors: CAV Conference (17th 2005 Edinburgh, Scotland
Group Author: Etessami Kousha; Rajamani Sriram K 1970-
Published: Springer,
Publication Dates: 2005.
Call Number: TP301-532/C738/2005

Book

12

Cover is for reference only

Numerical software with result verification：international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Corporate Authors: Dagstuhl Seminar on Numerical Software with Result Verification (2003 Dagstuhl, Germany
Group Author: Alt René
Published: Springer,
Publication Dates: c2004.
Call Number: O245-532/D127/2003

Book

13

Cover is for reference only

Model checking software：11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

Corporate Authors: International SPIN Workshop (11th 2004 Barcelona, Spain
Group Author: Graf Susanne; Mounier Laurent
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.5-532/I617-1/2004

Book

14

Cover is for reference only

Computer aided verification：16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings

Corporate Authors: CAV Conference (16th 2004 Boston, MA
Group Author: Alur Rajeev 1966-; Peled Doron 1962-
Published: Springer,
Publication Dates: c2004.
Call Number: TP301-532/C738/2004

Book

15

Cover is for reference only

Computer aided verification：15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

Corporate Authors: CAV Conference (15th 2003 Boulder, Colo
Group Author: Hunt Warren A 1958-; Somenzi Fabio
Published: Springer,
Publication Dates: c2003.
Call Number: TP301-532/C738/2003

Book

16

Cover is for reference only

Correct hardware design and verification methods：12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings

Corporate Authors: CHARME 2003 (2003 L'Aquila, Italy
Group Author: Geist Daniel 1961-; Tronci Enrico 1961-
Published: Springer,
Publication Dates: c2003.
Call Number: TP303-532/A244/2003

Book

17

Cover is for reference only

Verification, model checking, and abstract interpretation：4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Corporate Authors: LINK Online service
Group Author: Zuck Lenore D 1958-
Published: Springer-Verlag,
Publication Dates: c2003.
Call Number: TP311.1-532/V516/2003

Book

18

Cover is for reference only

Verification, model checking and abstract interpretation：third international workshop, VMCAI 2002, Venice, Italy, January 2002 : proceedings

Corporate Authors: VMCAI 2002 (2002 Venice, Italy
Group Author: Cortesi Agostino 1963-
Published: Springer,
Publication Dates: 2002.
Call Number: TP311.1-532/V516/2002

Book

19

Cover is for reference only

Model checking software：8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings

Corporate Authors: International SPIN Workshop (8th 2001 Toronto, Ont; ACM Sigsoft
Group Author: Dwyer Matthew 1963-
Published: Springer,
Publication Dates: 2001.
Call Number: TP311.5-532/I617/2001

Book

20

Cover is for reference only

Computer aided verification：13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Corporate Authors: CAV Conference (13th 2001 Paris
Group Author: Comon Hubert; Berry Gérard 1948-; Finkel A
Published: Springer,
Publication Dates: 2001.
Call Number: TP301-532/C738/2001

Book

Narrow Search