Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Computer-aided Verification American Mathem American Mathem

Computer-aided Verification

Autor: American Mathem American Mathem
Jazyk: Angličtina
Vazba: Pevná
Vydavatel: American Mathematical Society
Dostupnost: 50 % šance
Prohledáme celý svět
3 826 Kč
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru...

Informace o knize

Autor
American Mathem American Mathem
Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
1991
EAN
9780821865941
ISBN
9780821865941
Enbook ID
06319043
Vydavatel
American Mathematical Society
Hmotnost
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 zajímat

Integrative Cardiovascular Chinese Medicine

Anika Al-Shura
3 078 Kč

Crystal Path

Georgina Easterbrook
456 Kč

Moo-Cow Kung-Fu-Cow

Nick Sharratt
146 Kč

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

Mary M. Mayhew
390 Kč

Getting Started with Grails

Rudolph
461 Kč

Wild Oats Or The Strolling Gentlemen

John O'Keeffe
1 066 Kč

Patterns of a Network Economy

Börje Johansson
2 567 Kč

Sculptured Thin Films

Russell F. Messier
2 275 Kč

Responsible Management of Information Systems

Stahl
1 984 Kč

Invention of the Moving Assembly Line

Dennis Abrams
942 Kč

Evaluation Findings for Taylor Devices Fluid Viscous Damper

Highway Innovative Technology Evaluation
1 260 Kč

Computer-aided Method Engineering

Ajantha Dahanayake
1 862 Kč

First World, Third World

William Ryrie
2 567 Kč

Assessment of Naval Hydromechanics, Science and Technology

Committee for Naval Hydromechanics Science and Technology
1 190 Kč

150 Idees Recues Sur L'Histoir FL

592 Kč

Zákaznicí kteří koupili tuto knihu koupili také

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

Alberto Ezequiel Kashi
568 Kč

Zeis

Mati Blum
351 Kč

Nuvole Bianche

Nessa 19971995
332 Kč

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

625 Kč