A carregar...

Código QR

Formal specification and verification of digital sytems

Detalhes bibliográficos
Autor principal:	George Milne
Formato:	Printed Book
Idioma:	English
Publicado em:	McGraw-Hill 1994

Registos relacionados

Formal Specification And Verification Of Digital Systems
Por: Milne, George
Publicado em: (1994)

Formal specification and verification of digital systems /
Por: Milne, George
Publicado em: (1994)

Formal methods of program verification and specification
Por: H K Berg, et al.
Publicado em: (1982)

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

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

Protocol specification, testing and verification
Por: Diaz, Michel
Publicado em: (1986)

Multimedia sytems
Por: John F Koegel Buford
Publicado em: (2003)

UNIX Sytem
Por: Bourne,S R
Publicado em: (1983)

Real-time systems: specification, verification and analysis/
Por: Joseph, Mathai, Ed
Publicado em: (1996)

Database sytem concepts /
Por: Silberschatz, Abraham
Publicado em: (2006)

Essays on the Caste Sytem
Por: Bougle' Ce' Lestin
Publicado em: (1971)

Control sytem theory
Por: Elgerd, Olle I
Publicado em: (1967)

Agroforestry: sytems and practices /
Por: Ramesh Umrani
Publicado em: (2010)

Comparitive economic sytems
Publicado em: (1989)

Verification and meaning /
Publicado em: (1976)

Formal Specification: Techniques And Applications
Por: Nimal Nissanke
Publicado em: (1999)

Formal specification and software development
Por: Bjorner,Dines

Formal specification and software development
Por: Bjorner, Diner
Publicado em: (1982)

Design of foundation sytems :principles and practices
Por: Kurian, Ninan P
Publicado em: (1994)

Systems of sytems engineering principles and applications
Por: Jamshidi, Mo.,ed
Publicado em: (2009)

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

Program Construction and Verification
Por: Backhouse, Roland C
Publicado em: (1986)

System validation and verification
Por: Jeffrey O Grady
Publicado em: (1998)

Practical design verification
Por: Pradhan, Dhiraj K.
Publicado em: (2009)

Program construction and verification /
Por: Backhouse, Roland C .
Publicado em: (1986)

Program construction and verification
Por: Backhouse, Roland C; Author
Publicado em: (1986)

Validation and verification techniques for
Por: Pratiksha Saxena

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

Foundation of program verification /
Por: Loeckx, Jacques
Publicado em: (1983)

Larch:languages and tools for formal specification
Por: John V. Guttag,James J.Horming
Publicado em: (1993)

Prolog: from formal specification to prototype
Por: Leadbetter, Peter
Publicado em: (1991)

Formal Specification Of Complex Reasoning Systems
Por: Treur, Jan
Publicado em: (1993)

Larch: languages and tools for formal specification
Por: Guttag, John V, et al.
Publicado em: (1993)

Systems of sytems engineering : principles and applications
Por: Jamshidi

Microprocessor based automatic test sytem
Por: Johnson K Thomas
Publicado em: (1981)

Sytems analysis and water quality management
Por: Thomann, R V
Publicado em: (1972)

Sytems analysis and water quality management
Por: Thomann, R V
Publicado em: (1972)

Special Library sytem and Information services
Por: Dariush A
Publicado em: (2013)

State functions and liner control sytems /
Por: Schultz, Donald G. And
Publicado em: (1967)

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