Caricamento...

Codice QR

Formal specification and verification of digital sytems

Dettagli Bibliografici
Autore principale:	George Milne
Natura:	Printed Book
Lingua:	English
Pubblicazione:	McGraw-Hill 1994

Documenti analoghi

Formal Specification And Verification Of Digital Systems
di: Milne, George
Pubblicazione: (1994)

Formal specification and verification of digital systems /
di: Milne, George
Pubblicazione: (1994)

Formal methods of program verification and specification
di: H K Berg, et al.
Pubblicazione: (1982)

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

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

Protocol specification, testing and verification
di: Diaz, Michel
Pubblicazione: (1986)

Multimedia sytems
di: John F Koegel Buford
Pubblicazione: (2003)

UNIX Sytem
di: Bourne,S R
Pubblicazione: (1983)

Real-time systems: specification, verification and analysis/
di: Joseph, Mathai, Ed
Pubblicazione: (1996)

Database sytem concepts /
di: Silberschatz, Abraham
Pubblicazione: (2006)

Essays on the Caste Sytem
di: Bougle' Ce' Lestin
Pubblicazione: (1971)

Control sytem theory
di: Elgerd, Olle I
Pubblicazione: (1967)

Agroforestry: sytems and practices /
di: Ramesh Umrani
Pubblicazione: (2010)

Comparitive economic sytems
Pubblicazione: (1989)

Verification and meaning /
Pubblicazione: (1976)

Formal Specification: Techniques And Applications
di: Nimal Nissanke
Pubblicazione: (1999)

Formal specification and software development
di: Bjorner,Dines

Formal specification and software development
di: Bjorner, Diner
Pubblicazione: (1982)

Design of foundation sytems :principles and practices
di: Kurian, Ninan P
Pubblicazione: (1994)

Systems of sytems engineering principles and applications
di: Jamshidi, Mo.,ed
Pubblicazione: (2009)

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

Program Construction and Verification
di: Backhouse, Roland C
Pubblicazione: (1986)

System validation and verification
di: Jeffrey O Grady
Pubblicazione: (1998)

Practical design verification
di: Pradhan, Dhiraj K.
Pubblicazione: (2009)

Program construction and verification /
di: Backhouse, Roland C .
Pubblicazione: (1986)

Program construction and verification
di: Backhouse, Roland C; Author
Pubblicazione: (1986)

Validation and verification techniques for
di: Pratiksha Saxena

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

Foundation of program verification /
di: Loeckx, Jacques
Pubblicazione: (1983)

Larch:languages and tools for formal specification
di: John V. Guttag,James J.Horming
Pubblicazione: (1993)

Prolog: from formal specification to prototype
di: Leadbetter, Peter
Pubblicazione: (1991)

Formal Specification Of Complex Reasoning Systems
di: Treur, Jan
Pubblicazione: (1993)

Larch: languages and tools for formal specification
di: Guttag, John V, et al.
Pubblicazione: (1993)

Systems of sytems engineering : principles and applications
di: Jamshidi

Microprocessor based automatic test sytem
di: Johnson K Thomas
Pubblicazione: (1981)

Sytems analysis and water quality management
di: Thomann, R V
Pubblicazione: (1972)

Sytems analysis and water quality management
di: Thomann, R V
Pubblicazione: (1972)

Special Library sytem and Information services
di: Dariush A
Pubblicazione: (2013)

State functions and liner control sytems /
di: Schultz, Donald G. And
Pubblicazione: (1967)

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