Cargando...

Código QR

Formal specification and verification of digital sytems

Detalles Bibliográficos
Autor principal:	George Milne
Formato:	Printed Book
Lenguaje:	English
Publicado:	McGraw-Hill 1994

Ejemplares similares

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

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

Formal methods of program verification and specification
por: H K Berg, et al.
Publicado: (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: (1986)

Multimedia sytems
por: John F Koegel Buford
Publicado: (2003)

UNIX Sytem
por: Bourne,S R
Publicado: (1983)

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

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

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

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

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

Comparitive economic sytems
Publicado: (1989)

Verification and meaning /
Publicado: (1976)

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

Formal specification and software development
por: Bjorner,Dines

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

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

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

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

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

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

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

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

Program construction and verification
por: Backhouse, Roland C; Author
Publicado: (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: (1983)

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

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

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

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

Systems of sytems engineering : principles and applications
por: Jamshidi

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

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

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

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

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

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