載入...

QR Code

Formal specification and verification of digital sytems

書目詳細資料
主要作者:	George Milne
格式:	Printed Book
語言:	English
出版:	McGraw-Hill 1994

相似書籍

Formal Specification And Verification Of Digital Systems
由: Milne, George
出版: (1994)

Formal specification and verification of digital systems /
由: Milne, George
出版: (1994)

Formal methods of program verification and specification
由: H K Berg, et al.
出版: (1982)

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

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

Protocol specification, testing and verification
由: Diaz, Michel
出版: (1986)

Multimedia sytems
由: John F Koegel Buford
出版: (2003)

UNIX Sytem
由: Bourne,S R
出版: (1983)

Real-time systems: specification, verification and analysis/
由: Joseph, Mathai, Ed
出版: (1996)

Database sytem concepts /
由: Silberschatz, Abraham
出版: (2006)

Essays on the Caste Sytem
由: Bougle' Ce' Lestin
出版: (1971)

Control sytem theory
由: Elgerd, Olle I
出版: (1967)

Agroforestry: sytems and practices /
由: Ramesh Umrani
出版: (2010)

Comparitive economic sytems
出版: (1989)

Verification and meaning /
出版: (1976)

Formal Specification: Techniques And Applications
由: Nimal Nissanke
出版: (1999)

Formal specification and software development
由: Bjorner,Dines

Formal specification and software development
由: Bjorner, Diner
出版: (1982)

Design of foundation sytems :principles and practices
由: Kurian, Ninan P
出版: (1994)

Systems of sytems engineering principles and applications
由: Jamshidi, Mo.,ed
出版: (2009)

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

Program Construction and Verification
由: Backhouse, Roland C
出版: (1986)

System validation and verification
由: Jeffrey O Grady
出版: (1998)

Practical design verification
由: Pradhan, Dhiraj K.
出版: (2009)

Program construction and verification /
由: Backhouse, Roland C .
出版: (1986)

Program construction and verification
由: Backhouse, Roland C; Author
出版: (1986)

Validation and verification techniques for
由: Pratiksha Saxena

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

Foundation of program verification /
由: Loeckx, Jacques
出版: (1983)

Larch:languages and tools for formal specification
由: John V. Guttag,James J.Horming
出版: (1993)

Prolog: from formal specification to prototype
由: Leadbetter, Peter
出版: (1991)

Formal Specification Of Complex Reasoning Systems
由: Treur, Jan
出版: (1993)

Larch: languages and tools for formal specification
由: Guttag, John V, et al.
出版: (1993)

Systems of sytems engineering : principles and applications
由: Jamshidi

Microprocessor based automatic test sytem
由: Johnson K Thomas
出版: (1981)

Sytems analysis and water quality management
由: Thomann, R V
出版: (1972)

Sytems analysis and water quality management
由: Thomann, R V
出版: (1972)

Special Library sytem and Information services
由: Dariush A
出版: (2013)

State functions and liner control sytems /
由: Schultz, Donald G. And
出版: (1967)

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