Book

Computer Aided Verification

11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, Proceedings «

Score:

(3/0)

Reviews:

0

Times tipped:

0

Times read:

0

Author(s):

A.E. Emerson, D. Peled, N. Halbwachs, P.A. Sistla

Category:

ISBN

9783540662020

Information

Reviews

Wall

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

No related books yet.

Computer Aided Verification

Welcome to Boeklezers.nl

Books related to Computer Aided Verification by N. Halbwachs, D. Peled & A.E. Emerson