Książka Computer-aided Verification American Mathem American Mathem

Computer-aided Verification

Język: Angielski
Oprawa: Twarda
Dostępność: 50 % szansa
Przeszukamy cały świat
705.66
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru...

Informacje o książce

Język
Angielski
Oprawa
Książka - Twarda
Data wydania
1991
EAN
9780821865941
ISBN
9780821865941
Enbook ID
06319043
Waga
666

Pełny opis

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.

Możesz być zainteresowany

Crystal Path

Georgina Easterbrook
79.84

Moo-Cow Kung-Fu-Cow

Nick Sharratt
27.35
470.99

Sculptured Thin Films

Russell F. Messier
398.54

Evaluation Findings for Taylor Devices Fluid Viscous Damper

Highway Innovative Technology Evaluation
220.74
340.80
470.99

Assessment of Naval Hydromechanics, Science and Technology

Committee for Naval Hydromechanics Science and Technology
218.40

Klienci, którzy kupili tę książkę, kupili również

Zeis

Mati Blum
64.74

Nuvole Bianche

Nessa 19971995
61.34