Computer-aided Verification

Name: Computer-aided Verification
Brand: American Mathematical Society
SKU: 9780821865941
Price: 166.23 EUR
Availability: InStock

Autor: American Mathem American Mathem

Jazyk:

Väzba: Pevná

Vydavateľ: American Mathematical Society

Dostupnosť: 50 % šanca

Prehľadáme celý svet

166.23 €

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

Informácie o knihe

Autor

American Mathem American Mathem

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

1991

EAN

9780821865941

ISBN

9780821865941

Enbook ID

06319043

Vydavateľ

American Mathematical Society

Hmotnosť

666

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Computer-aided Verification

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

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...