Loading...

QR Code

Formal specification and verification of digital sytems

Bibliographic Details
Main Author:	George Milne
Format:	Printed Book
Language:	English
Published:	McGraw-Hill 1994

Similar Items

Formal Specification And Verification Of Digital Systems
by: Milne, George
Published: (1994)

Formal specification and verification of digital systems /
by: Milne, George
Published: (1994)

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

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

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

Protocol specification, testing and verification
by: Diaz, Michel
Published: (1986)

Multimedia sytems
by: John F Koegel Buford
Published: (2003)

UNIX Sytem
by: Bourne,S R
Published: (1983)

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

Database sytem concepts /
by: Silberschatz, Abraham
Published: (2006)

Essays on the Caste Sytem
by: Bougle' Ce' Lestin
Published: (1971)

Control sytem theory
by: Elgerd, Olle I
Published: (1967)

Agroforestry: sytems and practices /
by: Ramesh Umrani
Published: (2010)

Comparitive economic sytems
Published: (1989)

Verification and meaning /
Published: (1976)

Formal Specification: Techniques And Applications
by: Nimal Nissanke
Published: (1999)

Formal specification and software development
by: Bjorner,Dines

Formal specification and software development
by: Bjorner, Diner
Published: (1982)

Design of foundation sytems :principles and practices
by: Kurian, Ninan P
Published: (1994)

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

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

Program Construction and Verification
by: Backhouse, Roland C
Published: (1986)

System validation and verification
by: Jeffrey O Grady
Published: (1998)

Practical design verification
by: Pradhan, Dhiraj K.
Published: (2009)

Program construction and verification /
by: Backhouse, Roland C .
Published: (1986)

Program construction and verification
by: Backhouse, Roland C; Author
Published: (1986)

Validation and verification techniques for
by: Pratiksha Saxena

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

Foundation of program verification /
by: Loeckx, Jacques
Published: (1983)

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

Prolog: from formal specification to prototype
by: Leadbetter, Peter
Published: (1991)

Formal Specification Of Complex Reasoning Systems
by: Treur, Jan
Published: (1993)

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

Systems of sytems engineering : principles and applications
by: Jamshidi

Microprocessor based automatic test sytem
by: Johnson K Thomas
Published: (1981)

Sytems analysis and water quality management
by: Thomann, R V
Published: (1972)

Sytems analysis and water quality management
by: Thomann, R V
Published: (1972)

Special Library sytem and Information services
by: Dariush A
Published: (2013)

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

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