Formal specification and verification of digital sytems

Opis bibliograficzny
1. autor:	George Milne
Format:	Printed Book
Język:	English
Wydane:	McGraw-Hill 1994

Ładuje się......

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

Ładuje się......

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

Ładuje się......

Formal methods of program verification and specification
od: H K Berg, i wsp.
Wydane: (1982)

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

Comparitive economic sytems
Wydane: (1989)

Ładuje się......

Verification and meaning /
Wydane: (1976)

Ładuje się......

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

Ładuje się......

Formal specification and software development
od: Bjorner,Dines

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

Validation and verification techniques for
od: Pratiksha Saxena

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

Larch: languages and tools for formal specification
od: Guttag, John V, i wsp.
Wydane: (1993)

Ładuje się......

Systems of sytems engineering : principles and applications
od: Jamshidi

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Ładuje się......

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

Formal specification and verification of digital sytems

Podobne zapisy

Podobne zapisy