تحميل...

QR رمز

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, وآخرون
منشور في: (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, وآخرون
منشور في: (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)