Formal specification and verification of digital sytems

Bibliografische gegevens
Hoofdauteur:	George Milne
Formaat:	Printed Book
Taal:	English
Gepubliceerd in:	McGraw-Hill 1994

Wordt geladen...

Formal Specification And Verification Of Digital Systems
door: Milne, George
Gepubliceerd in: (1994)

Wordt geladen...

Formal specification and verification of digital systems /
door: Milne, George
Gepubliceerd in: (1994)

Wordt geladen...

Formal methods of program verification and specification
door: H K Berg, et al.
Gepubliceerd in: (1982)

Wordt geladen...

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

Wordt geladen...

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

Wordt geladen...

Protocol specification, testing and verification
door: Diaz, Michel
Gepubliceerd in: (1986)

Wordt geladen...

Multimedia sytems
door: John F Koegel Buford
Gepubliceerd in: (2003)

Wordt geladen...

UNIX Sytem
door: Bourne,S R
Gepubliceerd in: (1983)

Wordt geladen...

Real-time systems: specification, verification and analysis/
door: Joseph, Mathai, Ed
Gepubliceerd in: (1996)

Wordt geladen...

Database sytem concepts /
door: Silberschatz, Abraham
Gepubliceerd in: (2006)

Wordt geladen...

Essays on the Caste Sytem
door: Bougle' Ce' Lestin
Gepubliceerd in: (1971)

Wordt geladen...

Control sytem theory
door: Elgerd, Olle I
Gepubliceerd in: (1967)

Wordt geladen...

Agroforestry: sytems and practices /
door: Ramesh Umrani
Gepubliceerd in: (2010)

Wordt geladen...

Comparitive economic sytems
Gepubliceerd in: (1989)

Wordt geladen...

Verification and meaning /
Gepubliceerd in: (1976)

Wordt geladen...

Formal Specification: Techniques And Applications
door: Nimal Nissanke
Gepubliceerd in: (1999)

Wordt geladen...

Formal specification and software development
door: Bjorner,Dines

Wordt geladen...

Formal specification and software development
door: Bjorner, Diner
Gepubliceerd in: (1982)

Wordt geladen...

Design of foundation sytems :principles and practices
door: Kurian, Ninan P
Gepubliceerd in: (1994)

Wordt geladen...

Systems of sytems engineering principles and applications
door: Jamshidi, Mo.,ed
Gepubliceerd in: (2009)

Wordt geladen...

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

Wordt geladen...

Program Construction and Verification
door: Backhouse, Roland C
Gepubliceerd in: (1986)

Wordt geladen...

System validation and verification
door: Jeffrey O Grady
Gepubliceerd in: (1998)

Wordt geladen...

Practical design verification
door: Pradhan, Dhiraj K.
Gepubliceerd in: (2009)

Wordt geladen...

Program construction and verification /
door: Backhouse, Roland C .
Gepubliceerd in: (1986)

Wordt geladen...

Program construction and verification
door: Backhouse, Roland C; Author
Gepubliceerd in: (1986)

Wordt geladen...

Validation and verification techniques for
door: Pratiksha Saxena

Wordt geladen...

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

Wordt geladen...

Foundation of program verification /
door: Loeckx, Jacques
Gepubliceerd in: (1983)

Wordt geladen...

Larch:languages and tools for formal specification
door: John V. Guttag,James J.Horming
Gepubliceerd in: (1993)

Wordt geladen...

Prolog: from formal specification to prototype
door: Leadbetter, Peter
Gepubliceerd in: (1991)

Wordt geladen...

Formal Specification Of Complex Reasoning Systems
door: Treur, Jan
Gepubliceerd in: (1993)

Wordt geladen...

Larch: languages and tools for formal specification
door: Guttag, John V, et al.
Gepubliceerd in: (1993)

Wordt geladen...

Systems of sytems engineering : principles and applications
door: Jamshidi

Wordt geladen...

Microprocessor based automatic test sytem
door: Johnson K Thomas
Gepubliceerd in: (1981)

Wordt geladen...

Sytems analysis and water quality management
door: Thomann, R V
Gepubliceerd in: (1972)

Wordt geladen...

Sytems analysis and water quality management
door: Thomann, R V
Gepubliceerd in: (1972)

Wordt geladen...

Special Library sytem and Information services
door: Dariush A
Gepubliceerd in: (2013)

Wordt geladen...

State functions and liner control sytems /
door: Schultz, Donald G. And
Gepubliceerd in: (1967)

Wordt geladen...

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

Formal specification and verification of digital sytems

Gelijkaardige items

Gelijkaardige items