Computer-aided Verification

Name: Computer-aided Verification
Brand: American Mathematical Society
SKU: 9780821865941
Price: 916.53 RON
Availability: InStock

Autor: American Mathem American Mathem

Limbă:

Legare: Copertă tare

Editura: American Mathematical Society

Disponibilitate: șansă 50%

Şanse de a obține acest titlu

916.53 lei

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru...

Informații despre carte

Autor

American Mathem American Mathem

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

1991

EAN

9780821865941

ISBN

9780821865941

Enbook ID

06319043

Editura

American Mathematical Society

Greutate

666

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Computer-aided Verification

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și