Kniha Computer-aided Verification American Mathem American Mathem

Computer-aided Verification

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

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
1991
EAN
9780821865941
ISBN
9780821865941
Enbook ID
06319043
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

Crystal Path

Georgina Easterbrook
456

Moo-Cow Kung-Fu-Cow

Nick Sharratt
146
2 567

Sculptured Thin Films

Russell F. Messier
2 275

Evaluation Findings for Taylor Devices Fluid Viscous Damper

Highway Innovative Technology Evaluation
1 260
1 862
2 567

Assessment of Naval Hydromechanics, Science and Technology

Committee for Naval Hydromechanics Science and Technology
1 190

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

Zeis

Mati Blum
351

Nuvole Bianche

Nessa 19971995
332