10% OFF

Computer-Aided Verification

by American Mathematical Society
language: english
Publisher: American Mathematical Society, June of 1991 ‧
166,28€
10% OFF CARD
free shipping
Sell ​​your book
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

Computer-Aided Verification

by American Mathematical Society

Property Description
ISBN: 9780821865941
Publisher: American Mathematical Society
Release Date: June of 1991
Language: English
Cover: Hardcover
Format: Book
Collection: Dimacs: Series In Discrete Mathematics And Theoretical Computer Science
Categories: Books in English > Science > Mathematics
EAN: 9780821865941

BOOKS FROM THE SAME COLLECTION