Llwytho...

Côd QR

Formal specification and verification of digital sytems

Manylion Llyfryddiaeth
Prif Awdur:	George Milne
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	McGraw-Hill 1994

Eitemau Tebyg

Formal Specification And Verification Of Digital Systems
gan: Milne, George
Cyhoeddwyd: (1994)

Formal specification and verification of digital systems /
gan: Milne, George
Cyhoeddwyd: (1994)

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

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

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

Protocol specification, testing and verification
gan: Diaz, Michel
Cyhoeddwyd: (1986)

Multimedia sytems
gan: John F Koegel Buford
Cyhoeddwyd: (2003)

UNIX Sytem
gan: Bourne,S R
Cyhoeddwyd: (1983)

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

Database sytem concepts /
gan: Silberschatz, Abraham
Cyhoeddwyd: (2006)

Essays on the Caste Sytem
gan: Bougle' Ce' Lestin
Cyhoeddwyd: (1971)

Control sytem theory
gan: Elgerd, Olle I
Cyhoeddwyd: (1967)

Agroforestry: sytems and practices /
gan: Ramesh Umrani
Cyhoeddwyd: (2010)

Comparitive economic sytems
Cyhoeddwyd: (1989)

Verification and meaning /
Cyhoeddwyd: (1976)

Formal Specification: Techniques And Applications
gan: Nimal Nissanke
Cyhoeddwyd: (1999)

Formal specification and software development
gan: Bjorner,Dines

Formal specification and software development
gan: Bjorner, Diner
Cyhoeddwyd: (1982)

Design of foundation sytems :principles and practices
gan: Kurian, Ninan P
Cyhoeddwyd: (1994)

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

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

Program Construction and Verification
gan: Backhouse, Roland C
Cyhoeddwyd: (1986)

System validation and verification
gan: Jeffrey O Grady
Cyhoeddwyd: (1998)

Practical design verification
gan: Pradhan, Dhiraj K.
Cyhoeddwyd: (2009)

Program construction and verification /
gan: Backhouse, Roland C .
Cyhoeddwyd: (1986)

Program construction and verification
gan: Backhouse, Roland C; Author
Cyhoeddwyd: (1986)

Validation and verification techniques for
gan: Pratiksha Saxena

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

Foundation of program verification /
gan: Loeckx, Jacques
Cyhoeddwyd: (1983)

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

Prolog: from formal specification to prototype
gan: Leadbetter, Peter
Cyhoeddwyd: (1991)

Formal Specification Of Complex Reasoning Systems
gan: Treur, Jan
Cyhoeddwyd: (1993)

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

Systems of sytems engineering : principles and applications
gan: Jamshidi

Microprocessor based automatic test sytem
gan: Johnson K Thomas
Cyhoeddwyd: (1981)

Sytems analysis and water quality management
gan: Thomann, R V
Cyhoeddwyd: (1972)

Sytems analysis and water quality management
gan: Thomann, R V
Cyhoeddwyd: (1972)

Special Library sytem and Information services
gan: Dariush A
Cyhoeddwyd: (2013)

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

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