Carregant...

Codi QR

Formal specification and verification of digital sytems

Dades bibliogràfiques
Autor principal:	George Milne
Format:	Printed Book
Idioma:	English
Publicat:	McGraw-Hill 1994

Ítems similars

Formal Specification And Verification Of Digital Systems
per: Milne, George
Publicat: (1994)

Formal specification and verification of digital systems /
per: Milne, George
Publicat: (1994)

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

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

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

Protocol specification, testing and verification
per: Diaz, Michel
Publicat: (1986)

Multimedia sytems
per: John F Koegel Buford
Publicat: (2003)

UNIX Sytem
per: Bourne,S R
Publicat: (1983)

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

Database sytem concepts /
per: Silberschatz, Abraham
Publicat: (2006)

Essays on the Caste Sytem
per: Bougle' Ce' Lestin
Publicat: (1971)

Control sytem theory
per: Elgerd, Olle I
Publicat: (1967)

Agroforestry: sytems and practices /
per: Ramesh Umrani
Publicat: (2010)

Comparitive economic sytems
Publicat: (1989)

Verification and meaning /
Publicat: (1976)

Formal Specification: Techniques And Applications
per: Nimal Nissanke
Publicat: (1999)

Formal specification and software development
per: Bjorner,Dines

Formal specification and software development
per: Bjorner, Diner
Publicat: (1982)

Design of foundation sytems :principles and practices
per: Kurian, Ninan P
Publicat: (1994)

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

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

Program Construction and Verification
per: Backhouse, Roland C
Publicat: (1986)

System validation and verification
per: Jeffrey O Grady
Publicat: (1998)

Practical design verification
per: Pradhan, Dhiraj K.
Publicat: (2009)

Program construction and verification /
per: Backhouse, Roland C .
Publicat: (1986)

Program construction and verification
per: Backhouse, Roland C; Author
Publicat: (1986)

Validation and verification techniques for
per: Pratiksha Saxena

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

Foundation of program verification /
per: Loeckx, Jacques
Publicat: (1983)

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

Prolog: from formal specification to prototype
per: Leadbetter, Peter
Publicat: (1991)

Formal Specification Of Complex Reasoning Systems
per: Treur, Jan
Publicat: (1993)

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

Systems of sytems engineering : principles and applications
per: Jamshidi

Microprocessor based automatic test sytem
per: Johnson K Thomas
Publicat: (1981)

Sytems analysis and water quality management
per: Thomann, R V
Publicat: (1972)

Sytems analysis and water quality management
per: Thomann, R V
Publicat: (1972)

Special Library sytem and Information services
per: Dariush A
Publicat: (2013)

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

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