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

1

Cover is for reference only

Main Authors: Ammann Paul 1961-
Group Author: Offutt Jeff 1961-
Published: Cambridge University Press,
Publication Dates: 2008.
Call Number: TP311.56/A518

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：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

5

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

6

Cover is for reference only

Systems and software verification：model-checking techniques and tools

Group Author: Bérard Béatrice
Published: Springer,
Publication Dates: c2001.
Call Number: TP306/S995

Book

7

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

8

Cover is for reference only

Computer aided verification：12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings

Corporate Authors: Internation Conference on Computer Aided Verifacation (2000 Chicago, Ill; CAV 2000 2000 Chicago, IL, USA)
Group Author: Sistla Aravinda Prasad; Emerson E. Allen
Published: Springer,
Publication Dates: c2000.
Call Number: TP301-532/C738/2000

Book

9

Cover is for reference only

Verification of conventional arms control in Europe：technological constraints and opportunities

Corporate Authors: Stockholm International Peace Research Institute
Group Author: Kokoski Richard 1952-; Koulik Sergey
Published: Westview Press,
Publication Dates: 1990.
Call Number: D815.1-53/V516/

Book

10

Cover is for reference only

Validation and verification of knowledge based systems：theory, tools and practice

Corporate Authors: British Computer Society. Specialist Group on Expert Systems.; European Symposium on Verification and Validation of Knowledge Based Systems and Components 1999 Oslo, Norway) (Oslo, Norway)); Norske Veritas (Organization)
Group Author: Coenen Frans. 1957-; Vermesan Anca.
Published: Kluwer Academic,
Publication Dates: c1999.
Call Number: TP182-532/V172/1999

Book

11

Cover is for reference only

Computer aided verification：18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

Corporate Authors: CAV (Conference) (18th 2006 Seattle, Wash.); SpringerLink (Online service)
Group Author: Jones Robert B.; (Robert Brent), 1969-; Ball Thomas, 1965-
Published: Springer,
Publication Dates: c2006.

Book

12

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.

Book

13

Cover is for reference only

SystemVerilog for verification：a guide to learning the testbench language features

Main Authors: Spear Chris.
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: c2006.

Book

14

Cover is for reference only

SystemVerilog for verification：a guide to learning the testbench language features

Main Authors: Spear Chris.
Published: Springer,
Publication Dates: c2006.
Call Number: TP312VE/S741

Book

15

Cover is for reference only

Advanced topics in exception handling techniques

Group Author: Dony Christophe.
Published: Springer,
Publication Dates: c2006.
Call Number: TP311-532/A244-1/2003-2004

Book

16

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

17

Cover is for reference only

Concurrency verification：introduction to compositional and noncompositional methods

Group Author: Roever W.-P. de. 1943-
Published: Cambridge University Press,
Publication Dates: 2001.
Call Number: TP338.6/C744-1

Book

18

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); SpringerLink (Online service)
Group Author: Bin Eyal.; Wolfsthal Yaron.; Ur Shmuel.
Published: Springer,
Publication Dates: c2006.

Book

19

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); SpringerLink (Online service)
Group Author: Valmari Antti.
Published: Springer,
Publication Dates: c2006.

Book

20

Cover is for reference only

Deadly arsenals：nuclear, biological, and chemical threats

Main Authors: Cirincione Joseph.
Group Author: Wolfsthal Jon B.; Rajkumar Miriam.
Published: Carnegie Endowment for International Peace,
Publication Dates: c2005.
Call Number: D815.2/C578/2nd.ed.

Book

Narrow Search