Загрузка...

QR Code (код быстрого отклика)

Formal specification and verification of digital sytems

Библиографические подробности
Главный автор:	George Milne
Формат:	Printed Book
Язык:	English
Опубликовано:	McGraw-Hill 1994

Схожие документы

Загрузка...

Formal Specification And Verification Of Digital Systems
по: Milne, George
Опубликовано: (1994)

Загрузка...

Formal specification and verification of digital systems /
по: Milne, George
Опубликовано: (1994)

Загрузка...

Formal methods of program verification and specification
по: H K Berg, et al.
Опубликовано: (1982)

Загрузка...

Formal methods of program verification
по: Berg,H.K

Загрузка...

Formal methods of program verification
по: Berg,H.K

Загрузка...

Protocol specification, testing and verification
по: Diaz, Michel
Опубликовано: (1986)

Загрузка...

Multimedia sytems
по: John F Koegel Buford
Опубликовано: (2003)

Загрузка...

UNIX Sytem
по: Bourne,S R
Опубликовано: (1983)

Загрузка...

Real-time systems: specification, verification and analysis/
по: Joseph, Mathai, Ed
Опубликовано: (1996)

Загрузка...

Database sytem concepts /
по: Silberschatz, Abraham
Опубликовано: (2006)

Загрузка...

Essays on the Caste Sytem
по: Bougle' Ce' Lestin
Опубликовано: (1971)

Загрузка...

Control sytem theory
по: Elgerd, Olle I
Опубликовано: (1967)

Загрузка...

Agroforestry: sytems and practices /
по: Ramesh Umrani
Опубликовано: (2010)

Загрузка...

Comparitive economic sytems
Опубликовано: (1989)

Загрузка...

Verification and meaning /
Опубликовано: (1976)

Загрузка...

Formal Specification: Techniques And Applications
по: Nimal Nissanke
Опубликовано: (1999)

Загрузка...

Formal specification and software development
по: Bjorner,Dines

Загрузка...

Formal specification and software development
по: Bjorner, Diner
Опубликовано: (1982)

Загрузка...

Design of foundation sytems :principles and practices
по: Kurian, Ninan P
Опубликовано: (1994)

Загрузка...

Systems of sytems engineering principles and applications
по: Jamshidi, Mo.,ed
Опубликовано: (2009)

Загрузка...

Management information sytems : text and cases, a global digital enterprise perspective /
по: Jawadekar, Waman S
Опубликовано: (2013)

Загрузка...

Program Construction and Verification
по: Backhouse, Roland C
Опубликовано: (1986)

Загрузка...

System validation and verification
по: Jeffrey O Grady
Опубликовано: (1998)

Загрузка...

Practical design verification
по: Pradhan, Dhiraj K.
Опубликовано: (2009)

Загрузка...

Program construction and verification /
по: Backhouse, Roland C .
Опубликовано: (1986)

Загрузка...

Program construction and verification
по: Backhouse, Roland C; Author
Опубликовано: (1986)

Загрузка...

Validation and verification techniques for
по: Pratiksha Saxena

Загрузка...

Validation and Verification techniques for
по: Saxena , P, Dr

Загрузка...

Foundation of program verification /
по: Loeckx, Jacques
Опубликовано: (1983)

Загрузка...

Larch:languages and tools for formal specification
по: John V. Guttag,James J.Horming
Опубликовано: (1993)

Загрузка...

Prolog: from formal specification to prototype
по: Leadbetter, Peter
Опубликовано: (1991)

Загрузка...

Formal Specification Of Complex Reasoning Systems
по: Treur, Jan
Опубликовано: (1993)

Загрузка...

Larch: languages and tools for formal specification
по: Guttag, John V, et al.
Опубликовано: (1993)

Загрузка...

Systems of sytems engineering : principles and applications
по: Jamshidi

Загрузка...

Microprocessor based automatic test sytem
по: Johnson K Thomas
Опубликовано: (1981)

Загрузка...

Sytems analysis and water quality management
по: Thomann, R V
Опубликовано: (1972)

Загрузка...

Sytems analysis and water quality management
по: Thomann, R V
Опубликовано: (1972)

Загрузка...

Special Library sytem and Information services
по: Dariush A
Опубликовано: (2013)

Загрузка...

State functions and liner control sytems /
по: Schultz, Donald G. And
Опубликовано: (1967)

Загрузка...

Optimising the life of oil hydravic sytems /
Опубликовано: (1981)