Á lódáil...

QR Code

Formal specification and verification of digital sytems

Sonraí Bibleagrafaíochta
Príomhúdar:	George Milne
Formáid:	Printed Book
Teanga:	English
Foilsithe:	McGraw-Hill 1994

Míreanna Comhchosúla

Formal Specification And Verification Of Digital Systems
le: Milne, George
Foilsithe: (1994)

Formal specification and verification of digital systems /
le: Milne, George
Foilsithe: (1994)

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

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

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

Protocol specification, testing and verification
le: Diaz, Michel
Foilsithe: (1986)

Multimedia sytems
le: John F Koegel Buford
Foilsithe: (2003)

UNIX Sytem
le: Bourne,S R
Foilsithe: (1983)

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

Database sytem concepts /
le: Silberschatz, Abraham
Foilsithe: (2006)

Essays on the Caste Sytem
le: Bougle' Ce' Lestin
Foilsithe: (1971)

Control sytem theory
le: Elgerd, Olle I
Foilsithe: (1967)

Agroforestry: sytems and practices /
le: Ramesh Umrani
Foilsithe: (2010)

Comparitive economic sytems
Foilsithe: (1989)

Verification and meaning /
Foilsithe: (1976)

Formal Specification: Techniques And Applications
le: Nimal Nissanke
Foilsithe: (1999)

Formal specification and software development
le: Bjorner,Dines

Formal specification and software development
le: Bjorner, Diner
Foilsithe: (1982)

Design of foundation sytems :principles and practices
le: Kurian, Ninan P
Foilsithe: (1994)

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

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

Program Construction and Verification
le: Backhouse, Roland C
Foilsithe: (1986)

System validation and verification
le: Jeffrey O Grady
Foilsithe: (1998)

Practical design verification
le: Pradhan, Dhiraj K.
Foilsithe: (2009)

Program construction and verification /
le: Backhouse, Roland C .
Foilsithe: (1986)

Program construction and verification
le: Backhouse, Roland C; Author
Foilsithe: (1986)

Validation and verification techniques for
le: Pratiksha Saxena

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

Foundation of program verification /
le: Loeckx, Jacques
Foilsithe: (1983)

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

Prolog: from formal specification to prototype
le: Leadbetter, Peter
Foilsithe: (1991)

Formal Specification Of Complex Reasoning Systems
le: Treur, Jan
Foilsithe: (1993)

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

Systems of sytems engineering : principles and applications
le: Jamshidi

Microprocessor based automatic test sytem
le: Johnson K Thomas
Foilsithe: (1981)

Sytems analysis and water quality management
le: Thomann, R V
Foilsithe: (1972)

Sytems analysis and water quality management
le: Thomann, R V
Foilsithe: (1972)

Special Library sytem and Information services
le: Dariush A
Foilsithe: (2013)

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

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