Nalaganje...

QR koda

Formal specification and verification of digital sytems

Bibliografske podrobnosti
Glavni avtor:	George Milne
Format:	Printed Book
Jezik:	English
Izdano:	McGraw-Hill 1994

Podobne knjige/članki

Formal Specification And Verification Of Digital Systems
od: Milne, George
Izdano: (1994)

Formal specification and verification of digital systems /
od: Milne, George
Izdano: (1994)

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

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

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

Protocol specification, testing and verification
od: Diaz, Michel
Izdano: (1986)

Multimedia sytems
od: John F Koegel Buford
Izdano: (2003)

UNIX Sytem
od: Bourne,S R
Izdano: (1983)

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

Database sytem concepts /
od: Silberschatz, Abraham
Izdano: (2006)

Essays on the Caste Sytem
od: Bougle' Ce' Lestin
Izdano: (1971)

Control sytem theory
od: Elgerd, Olle I
Izdano: (1967)

Agroforestry: sytems and practices /
od: Ramesh Umrani
Izdano: (2010)

Comparitive economic sytems
Izdano: (1989)

Verification and meaning /
Izdano: (1976)

Formal Specification: Techniques And Applications
od: Nimal Nissanke
Izdano: (1999)

Formal specification and software development
od: Bjorner,Dines

Formal specification and software development
od: Bjorner, Diner
Izdano: (1982)

Design of foundation sytems :principles and practices
od: Kurian, Ninan P
Izdano: (1994)

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

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

Program Construction and Verification
od: Backhouse, Roland C
Izdano: (1986)

System validation and verification
od: Jeffrey O Grady
Izdano: (1998)

Practical design verification
od: Pradhan, Dhiraj K.
Izdano: (2009)

Program construction and verification /
od: Backhouse, Roland C .
Izdano: (1986)

Program construction and verification
od: Backhouse, Roland C; Author
Izdano: (1986)

Validation and verification techniques for
od: Pratiksha Saxena

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

Foundation of program verification /
od: Loeckx, Jacques
Izdano: (1983)

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

Prolog: from formal specification to prototype
od: Leadbetter, Peter
Izdano: (1991)

Formal Specification Of Complex Reasoning Systems
od: Treur, Jan
Izdano: (1993)

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

Systems of sytems engineering : principles and applications
od: Jamshidi

Microprocessor based automatic test sytem
od: Johnson K Thomas
Izdano: (1981)

Sytems analysis and water quality management
od: Thomann, R V
Izdano: (1972)

Sytems analysis and water quality management
od: Thomann, R V
Izdano: (1972)

Special Library sytem and Information services
od: Dariush A
Izdano: (2013)

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

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