Đang tải...

Mã QR

Formal specification and verification of digital sytems

Chi tiết về thư mục
Tác giả chính:	George Milne
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	McGraw-Hill 1994

Những quyển sách tương tự

Formal Specification And Verification Of Digital Systems
Bằng: Milne, George
Được phát hành: (1994)

Formal specification and verification of digital systems /
Bằng: Milne, George
Được phát hành: (1994)

Formal methods of program verification and specification
Bằng: H K Berg, et al.
Được phát hành: (1982)

Formal methods of program verification
Bằng: Berg,H.K

Formal methods of program verification
Bằng: Berg,H.K

Protocol specification, testing and verification
Bằng: Diaz, Michel
Được phát hành: (1986)

Multimedia sytems
Bằng: John F Koegel Buford
Được phát hành: (2003)

UNIX Sytem
Bằng: Bourne,S R
Được phát hành: (1983)

Real-time systems: specification, verification and analysis/
Bằng: Joseph, Mathai, Ed
Được phát hành: (1996)

Database sytem concepts /
Bằng: Silberschatz, Abraham
Được phát hành: (2006)

Essays on the Caste Sytem
Bằng: Bougle' Ce' Lestin
Được phát hành: (1971)

Control sytem theory
Bằng: Elgerd, Olle I
Được phát hành: (1967)

Agroforestry: sytems and practices /
Bằng: Ramesh Umrani
Được phát hành: (2010)

Comparitive economic sytems
Được phát hành: (1989)

Verification and meaning /
Được phát hành: (1976)

Formal Specification: Techniques And Applications
Bằng: Nimal Nissanke
Được phát hành: (1999)

Formal specification and software development
Bằng: Bjorner,Dines

Formal specification and software development
Bằng: Bjorner, Diner
Được phát hành: (1982)

Design of foundation sytems :principles and practices
Bằng: Kurian, Ninan P
Được phát hành: (1994)

Systems of sytems engineering principles and applications
Bằng: Jamshidi, Mo.,ed
Được phát hành: (2009)

Management information sytems : text and cases, a global digital enterprise perspective /
Bằng: Jawadekar, Waman S
Được phát hành: (2013)

Program Construction and Verification
Bằng: Backhouse, Roland C
Được phát hành: (1986)

System validation and verification
Bằng: Jeffrey O Grady
Được phát hành: (1998)

Practical design verification
Bằng: Pradhan, Dhiraj K.
Được phát hành: (2009)

Program construction and verification /
Bằng: Backhouse, Roland C .
Được phát hành: (1986)

Program construction and verification
Bằng: Backhouse, Roland C; Author
Được phát hành: (1986)

Validation and verification techniques for
Bằng: Pratiksha Saxena

Validation and Verification techniques for
Bằng: Saxena , P, Dr

Foundation of program verification /
Bằng: Loeckx, Jacques
Được phát hành: (1983)

Larch:languages and tools for formal specification
Bằng: John V. Guttag,James J.Horming
Được phát hành: (1993)

Prolog: from formal specification to prototype
Bằng: Leadbetter, Peter
Được phát hành: (1991)

Formal Specification Of Complex Reasoning Systems
Bằng: Treur, Jan
Được phát hành: (1993)

Larch: languages and tools for formal specification
Bằng: Guttag, John V, et al.
Được phát hành: (1993)

Systems of sytems engineering : principles and applications
Bằng: Jamshidi

Microprocessor based automatic test sytem
Bằng: Johnson K Thomas
Được phát hành: (1981)

Sytems analysis and water quality management
Bằng: Thomann, R V
Được phát hành: (1972)

Sytems analysis and water quality management
Bằng: Thomann, R V
Được phát hành: (1972)

Special Library sytem and Information services
Bằng: Dariush A
Được phát hành: (2013)

State functions and liner control sytems /
Bằng: Schultz, Donald G. And
Được phát hành: (1967)

Optimising the life of oil hydravic sytems /
Được phát hành: (1981)