Computer-aided Verification

Name: Computer-aided Verification
Brand: American Mathematical Society
SKU: 9780821865941
Price: 914.85 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

914.85 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

Integrative Cardiovascular Chinese Medicine

Crystal Path

Moo-Cow Kung-Fu-Cow

Your Star Child: Attracting, Birthing and Parenting an Evolved Soul

Getting Started with Grails

Wild Oats Or The Strolling Gentlemen

Patterns of a Network Economy

Sculptured Thin Films

Responsible Management of Information Systems

Invention of the Moving Assembly Line

Evaluation Findings for Taylor Devices Fluid Viscous Damper

Computer-aided Method Engineering

First World, Third World

Assessment of Naval Hydromechanics, Science and Technology

150 Idees Recues Sur L'Histoir FL

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

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas

Zeis

Nuvole Bianche

Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes...