Lataa...

QR-koodi

Formal specification and verification of digital sytems

Bibliografiset tiedot
Päätekijä:	George Milne
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	McGraw-Hill 1994

Samankaltaisia teoksia

Formal Specification And Verification Of Digital Systems
Tekijä: Milne, George
Julkaistu: (1994)

Formal specification and verification of digital systems /
Tekijä: Milne, George
Julkaistu: (1994)

Formal methods of program verification and specification
Tekijä: H K Berg, et al.
Julkaistu: (1982)

Formal methods of program verification
Tekijä: Berg,H.K

Formal methods of program verification
Tekijä: Berg,H.K

Protocol specification, testing and verification
Tekijä: Diaz, Michel
Julkaistu: (1986)

Multimedia sytems
Tekijä: John F Koegel Buford
Julkaistu: (2003)

UNIX Sytem
Tekijä: Bourne,S R
Julkaistu: (1983)

Real-time systems: specification, verification and analysis/
Tekijä: Joseph, Mathai, Ed
Julkaistu: (1996)

Database sytem concepts /
Tekijä: Silberschatz, Abraham
Julkaistu: (2006)

Essays on the Caste Sytem
Tekijä: Bougle' Ce' Lestin
Julkaistu: (1971)

Control sytem theory
Tekijä: Elgerd, Olle I
Julkaistu: (1967)

Agroforestry: sytems and practices /
Tekijä: Ramesh Umrani
Julkaistu: (2010)

Comparitive economic sytems
Julkaistu: (1989)

Verification and meaning /
Julkaistu: (1976)

Formal Specification: Techniques And Applications
Tekijä: Nimal Nissanke
Julkaistu: (1999)

Formal specification and software development
Tekijä: Bjorner,Dines

Formal specification and software development
Tekijä: Bjorner, Diner
Julkaistu: (1982)

Design of foundation sytems :principles and practices
Tekijä: Kurian, Ninan P
Julkaistu: (1994)

Systems of sytems engineering principles and applications
Tekijä: Jamshidi, Mo.,ed
Julkaistu: (2009)

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

Program Construction and Verification
Tekijä: Backhouse, Roland C
Julkaistu: (1986)

System validation and verification
Tekijä: Jeffrey O Grady
Julkaistu: (1998)

Practical design verification
Tekijä: Pradhan, Dhiraj K.
Julkaistu: (2009)

Program construction and verification /
Tekijä: Backhouse, Roland C .
Julkaistu: (1986)

Program construction and verification
Tekijä: Backhouse, Roland C; Author
Julkaistu: (1986)

Validation and verification techniques for
Tekijä: Pratiksha Saxena

Validation and Verification techniques for
Tekijä: Saxena , P, Dr

Foundation of program verification /
Tekijä: Loeckx, Jacques
Julkaistu: (1983)

Larch:languages and tools for formal specification
Tekijä: John V. Guttag,James J.Horming
Julkaistu: (1993)

Prolog: from formal specification to prototype
Tekijä: Leadbetter, Peter
Julkaistu: (1991)

Formal Specification Of Complex Reasoning Systems
Tekijä: Treur, Jan
Julkaistu: (1993)

Larch: languages and tools for formal specification
Tekijä: Guttag, John V, et al.
Julkaistu: (1993)

Systems of sytems engineering : principles and applications
Tekijä: Jamshidi

Microprocessor based automatic test sytem
Tekijä: Johnson K Thomas
Julkaistu: (1981)

Sytems analysis and water quality management
Tekijä: Thomann, R V
Julkaistu: (1972)

Sytems analysis and water quality management
Tekijä: Thomann, R V
Julkaistu: (1972)

Special Library sytem and Information services
Tekijä: Dariush A
Julkaistu: (2013)

State functions and liner control sytems /
Tekijä: Schultz, Donald G. And
Julkaistu: (1967)

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