Formal specification and verification of digital sytems

Détails bibliographiques
Auteur principal:	George Milne
Format:	Printed Book
Langue:	English
Publié:	McGraw-Hill 1994

Chargement en cours...

Formal Specification And Verification Of Digital Systems
par: Milne, George
Publié: (1994)

Chargement en cours...

Formal specification and verification of digital systems /
par: Milne, George
Publié: (1994)

Chargement en cours...

Formal methods of program verification and specification
par: H K Berg, et autres
Publié: (1982)

Chargement en cours...

Formal methods of program verification
par: Berg,H.K

Chargement en cours...

Formal methods of program verification
par: Berg,H.K

Chargement en cours...

Protocol specification, testing and verification
par: Diaz, Michel
Publié: (1986)

Chargement en cours...

Multimedia sytems
par: John F Koegel Buford
Publié: (2003)

Chargement en cours...

UNIX Sytem
par: Bourne,S R
Publié: (1983)

Chargement en cours...

Real-time systems: specification, verification and analysis/
par: Joseph, Mathai, Ed
Publié: (1996)

Chargement en cours...

Database sytem concepts /
par: Silberschatz, Abraham
Publié: (2006)

Chargement en cours...

Essays on the Caste Sytem
par: Bougle' Ce' Lestin
Publié: (1971)

Chargement en cours...

Control sytem theory
par: Elgerd, Olle I
Publié: (1967)

Chargement en cours...

Agroforestry: sytems and practices /
par: Ramesh Umrani
Publié: (2010)

Chargement en cours...

Comparitive economic sytems
Publié: (1989)

Chargement en cours...

Verification and meaning /
Publié: (1976)

Chargement en cours...

Formal Specification: Techniques And Applications
par: Nimal Nissanke
Publié: (1999)

Chargement en cours...

Formal specification and software development
par: Bjorner,Dines

Chargement en cours...

Formal specification and software development
par: Bjorner, Diner
Publié: (1982)

Chargement en cours...

Design of foundation sytems :principles and practices
par: Kurian, Ninan P
Publié: (1994)

Chargement en cours...

Systems of sytems engineering principles and applications
par: Jamshidi, Mo.,ed
Publié: (2009)

Chargement en cours...

Management information sytems : text and cases, a global digital enterprise perspective /
par: Jawadekar, Waman S
Publié: (2013)

Chargement en cours...

Program Construction and Verification
par: Backhouse, Roland C
Publié: (1986)

Chargement en cours...

System validation and verification
par: Jeffrey O Grady
Publié: (1998)

Chargement en cours...

Practical design verification
par: Pradhan, Dhiraj K.
Publié: (2009)

Chargement en cours...

Program construction and verification /
par: Backhouse, Roland C .
Publié: (1986)

Chargement en cours...

Program construction and verification
par: Backhouse, Roland C; Author
Publié: (1986)

Chargement en cours...

Validation and verification techniques for
par: Pratiksha Saxena

Chargement en cours...

Validation and Verification techniques for
par: Saxena , P, Dr

Chargement en cours...

Foundation of program verification /
par: Loeckx, Jacques
Publié: (1983)

Chargement en cours...

Larch:languages and tools for formal specification
par: John V. Guttag,James J.Horming
Publié: (1993)

Chargement en cours...

Prolog: from formal specification to prototype
par: Leadbetter, Peter
Publié: (1991)

Chargement en cours...

Formal Specification Of Complex Reasoning Systems
par: Treur, Jan
Publié: (1993)

Chargement en cours...

Larch: languages and tools for formal specification
par: Guttag, John V, et autres
Publié: (1993)

Chargement en cours...

Systems of sytems engineering : principles and applications
par: Jamshidi

Chargement en cours...

Microprocessor based automatic test sytem
par: Johnson K Thomas
Publié: (1981)

Chargement en cours...

Sytems analysis and water quality management
par: Thomann, R V
Publié: (1972)

Chargement en cours...

Sytems analysis and water quality management
par: Thomann, R V
Publié: (1972)

Chargement en cours...

Special Library sytem and Information services
par: Dariush A
Publié: (2013)

Chargement en cours...

State functions and liner control sytems /
par: Schultz, Donald G. And
Publié: (1967)

Chargement en cours...

Optimising the life of oil hydravic sytems /
Publié: (1981)

Formal specification and verification of digital sytems

Documents similaires

Documents similaires