Hasil Carian - "computer programs verification."

1

Verified software : theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings / Natarajan Shankar, Jim Woodcock (...

Diterbitkan 2008

Subjek-subjek: “...Computer programs Verification Congresses....”

Buku

2

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski...

Diterbitkan 2007

Subjek-subjek: “...Computer programs Verification Congresses....”

Buku

3

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).

Diterbitkan 2005

Subjek-subjek: “...Computer programs Verification Congresses....”

Buku

4

Verification, model checking, and abstract interpretation : ... International Workshop, VMCAI ... : revised papers.

Diterbitkan 2002

Subjek-subjek: “...Computer programs Verification Congresses....”
Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:
Access to the SpringerLink online version restricted; authentication may be required:

Bersiri

5

A survey of verification techniques for parallel programs / Howard Barringer.

mengikut Barringer, Howard, 1951-
Diterbitkan 1985

Subjek-subjek: “...Computer programs Verification....”

Buku

6

Compiler specification and verification / Wolfgang Polak.

mengikut Polak, Wolfgang, 1950-
Diterbitkan 1981

Subjek-subjek: “...Computer programs Verification....”

Buku

7

Verifying concurrent processes using temporal logic / Brent T. Hailpern.

mengikut Hailpern, Brent T. 1955-
Diterbitkan 1982

Subjek-subjek: “...Computer programs Verification....”

Buku

8

Validation, verification, and testing for the individual programmer / Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion.

mengikut Branstad, Martha A., Cherniavsky, John C.,, Adrion, W. Richards,
Diterbitkan 1980

Subjek-subjek: “...Computer programs Verification....”

Buku

9

Program verification using Ada / Andrew D. McGettrick.

mengikut McGettrick, Andrew D., 1944-
Diterbitkan 1982

Subjek-subjek: “...Computer programs Verification....”

Buku

10

Formal methods of program verification and specification / H.K. Berg ... [et al.].

Diterbitkan 1982

Subjek-subjek: “...Computer programs Verification....”

Buku

11

An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub.

mengikut Constable, R. L.
Diterbitkan 1982

Subjek-subjek: “...Computer programs Verification....”

Buku

12

Programming logics : an introduction to verification and semantics / Raymond D. Gumb.

mengikut Gumb, Raymond D.
Diterbitkan 1989

Subjek-subjek: “...Computer programs Verification....”

Buku

13

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings / Lenore D. Zuck ... [et a...

Diterbitkan 2003

Subjek-subjek: “...Computer programs Verification Congresses....”

Buku

14

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio L...

Diterbitkan 2004

Subjek-subjek: “...Computer programs Verification Congresses....”

Buku

15

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings / E. Allen Emerson, Keda...

Diterbitkan 2006

Subjek-subjek: “...Computer programs Verification Congresses....”

Buku

16

Verification, model checking and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 2002 : proceedings / Agostino Cortesi (ed.).

Diterbitkan 2002

Subjek-subjek: “...Computer programs Verification Congresses....”

Buku

17

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / Stefan Leue, Pedro Merino (eds...

Diterbitkan 2008

Subjek-subjek: “...Computer programs Verification Congresses....”

Buku

18

Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / Shmuel Ur, Eyal...

Diterbitkan 2006

Subjek-subjek: “...Computer programs Verification Congresses....”

Buku

19

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers / Eyal...

Diterbitkan 2007

Subjek-subjek: “...Computer programs Verification Congresses....”

Buku

20

Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / Karen Yorav (ed.).

Diterbitkan 2008

Subjek-subjek: “...Computer programs Verification Congresses....”

Buku

Carian Khusus