Lanean...

QR Kodea

Formal specification and verification of digital sytems

Xehetasun bibliografikoak
Egile nagusia:	George Milne
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	McGraw-Hill 1994

Antzeko izenburuak

Formal Specification And Verification Of Digital Systems
nork: Milne, George
Argitaratua: (1994)

Formal specification and verification of digital systems /
nork: Milne, George
Argitaratua: (1994)

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

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

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

Protocol specification, testing and verification
nork: Diaz, Michel
Argitaratua: (1986)

Multimedia sytems
nork: John F Koegel Buford
Argitaratua: (2003)

UNIX Sytem
nork: Bourne,S R
Argitaratua: (1983)

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

Database sytem concepts /
nork: Silberschatz, Abraham
Argitaratua: (2006)

Essays on the Caste Sytem
nork: Bougle' Ce' Lestin
Argitaratua: (1971)

Control sytem theory
nork: Elgerd, Olle I
Argitaratua: (1967)

Agroforestry: sytems and practices /
nork: Ramesh Umrani
Argitaratua: (2010)

Comparitive economic sytems
Argitaratua: (1989)

Verification and meaning /
Argitaratua: (1976)

Formal Specification: Techniques And Applications
nork: Nimal Nissanke
Argitaratua: (1999)

Formal specification and software development
nork: Bjorner,Dines

Formal specification and software development
nork: Bjorner, Diner
Argitaratua: (1982)

Design of foundation sytems :principles and practices
nork: Kurian, Ninan P
Argitaratua: (1994)

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

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

Program Construction and Verification
nork: Backhouse, Roland C
Argitaratua: (1986)

System validation and verification
nork: Jeffrey O Grady
Argitaratua: (1998)

Practical design verification
nork: Pradhan, Dhiraj K.
Argitaratua: (2009)

Program construction and verification /
nork: Backhouse, Roland C .
Argitaratua: (1986)

Program construction and verification
nork: Backhouse, Roland C; Author
Argitaratua: (1986)

Validation and verification techniques for
nork: Pratiksha Saxena

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

Foundation of program verification /
nork: Loeckx, Jacques
Argitaratua: (1983)

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

Prolog: from formal specification to prototype
nork: Leadbetter, Peter
Argitaratua: (1991)

Formal Specification Of Complex Reasoning Systems
nork: Treur, Jan
Argitaratua: (1993)

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

Systems of sytems engineering : principles and applications
nork: Jamshidi

Microprocessor based automatic test sytem
nork: Johnson K Thomas
Argitaratua: (1981)

Sytems analysis and water quality management
nork: Thomann, R V
Argitaratua: (1972)

Sytems analysis and water quality management
nork: Thomann, R V
Argitaratua: (1972)

Special Library sytem and Information services
nork: Dariush A
Argitaratua: (2013)

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

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