Loading...

QR Code

Formal specification and verification of digital sytems

Bibliografiske detaljer
Hovedforfatter:	George Milne
Format:	Printed Book
Sprog:	English
Udgivet:	McGraw-Hill 1994

Lignende værker

Formal Specification And Verification Of Digital Systems
af: Milne, George
Udgivet: (1994)

Formal specification and verification of digital systems /
af: Milne, George
Udgivet: (1994)

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

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

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

Protocol specification, testing and verification
af: Diaz, Michel
Udgivet: (1986)

Multimedia sytems
af: John F Koegel Buford
Udgivet: (2003)

UNIX Sytem
af: Bourne,S R
Udgivet: (1983)

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

Database sytem concepts /
af: Silberschatz, Abraham
Udgivet: (2006)

Essays on the Caste Sytem
af: Bougle' Ce' Lestin
Udgivet: (1971)

Control sytem theory
af: Elgerd, Olle I
Udgivet: (1967)

Agroforestry: sytems and practices /
af: Ramesh Umrani
Udgivet: (2010)

Comparitive economic sytems
Udgivet: (1989)

Verification and meaning /
Udgivet: (1976)

Formal Specification: Techniques And Applications
af: Nimal Nissanke
Udgivet: (1999)

Formal specification and software development
af: Bjorner,Dines

Formal specification and software development
af: Bjorner, Diner
Udgivet: (1982)

Design of foundation sytems :principles and practices
af: Kurian, Ninan P
Udgivet: (1994)

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

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

Program Construction and Verification
af: Backhouse, Roland C
Udgivet: (1986)

System validation and verification
af: Jeffrey O Grady
Udgivet: (1998)

Practical design verification
af: Pradhan, Dhiraj K.
Udgivet: (2009)

Program construction and verification /
af: Backhouse, Roland C .
Udgivet: (1986)

Program construction and verification
af: Backhouse, Roland C; Author
Udgivet: (1986)

Validation and verification techniques for
af: Pratiksha Saxena

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

Foundation of program verification /
af: Loeckx, Jacques
Udgivet: (1983)

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

Prolog: from formal specification to prototype
af: Leadbetter, Peter
Udgivet: (1991)

Formal Specification Of Complex Reasoning Systems
af: Treur, Jan
Udgivet: (1993)

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

Systems of sytems engineering : principles and applications
af: Jamshidi

Microprocessor based automatic test sytem
af: Johnson K Thomas
Udgivet: (1981)

Sytems analysis and water quality management
af: Thomann, R V
Udgivet: (1972)

Sytems analysis and water quality management
af: Thomann, R V
Udgivet: (1972)

Special Library sytem and Information services
af: Dariush A
Udgivet: (2013)

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

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