Laddar...

QR-kod

Formal specification and verification of digital sytems

Bibliografiska uppgifter
Huvudupphovsman:	George Milne
Materialtyp:	Printed Book
Språk:	English
Publicerad:	McGraw-Hill 1994

Liknande verk

Formal Specification And Verification Of Digital Systems
av: Milne, George
Publicerad: (1994)

Formal specification and verification of digital systems /
av: Milne, George
Publicerad: (1994)

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

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

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

Protocol specification, testing and verification
av: Diaz, Michel
Publicerad: (1986)

Multimedia sytems
av: John F Koegel Buford
Publicerad: (2003)

UNIX Sytem
av: Bourne,S R
Publicerad: (1983)

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

Database sytem concepts /
av: Silberschatz, Abraham
Publicerad: (2006)

Essays on the Caste Sytem
av: Bougle' Ce' Lestin
Publicerad: (1971)

Control sytem theory
av: Elgerd, Olle I
Publicerad: (1967)

Agroforestry: sytems and practices /
av: Ramesh Umrani
Publicerad: (2010)

Comparitive economic sytems
Publicerad: (1989)

Verification and meaning /
Publicerad: (1976)

Formal Specification: Techniques And Applications
av: Nimal Nissanke
Publicerad: (1999)

Formal specification and software development
av: Bjorner,Dines

Formal specification and software development
av: Bjorner, Diner
Publicerad: (1982)

Design of foundation sytems :principles and practices
av: Kurian, Ninan P
Publicerad: (1994)

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

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

Program Construction and Verification
av: Backhouse, Roland C
Publicerad: (1986)

System validation and verification
av: Jeffrey O Grady
Publicerad: (1998)

Practical design verification
av: Pradhan, Dhiraj K.
Publicerad: (2009)

Program construction and verification /
av: Backhouse, Roland C .
Publicerad: (1986)

Program construction and verification
av: Backhouse, Roland C; Author
Publicerad: (1986)

Validation and verification techniques for
av: Pratiksha Saxena

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

Foundation of program verification /
av: Loeckx, Jacques
Publicerad: (1983)

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

Prolog: from formal specification to prototype
av: Leadbetter, Peter
Publicerad: (1991)

Formal Specification Of Complex Reasoning Systems
av: Treur, Jan
Publicerad: (1993)

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

Systems of sytems engineering : principles and applications
av: Jamshidi

Microprocessor based automatic test sytem
av: Johnson K Thomas
Publicerad: (1981)

Sytems analysis and water quality management
av: Thomann, R V
Publicerad: (1972)

Sytems analysis and water quality management
av: Thomann, R V
Publicerad: (1972)

Special Library sytem and Information services
av: Dariush A
Publicerad: (2013)

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

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