Načítá se...

QR kód

Formal specification and verification of digital sytems

Podrobná bibliografie
Hlavní autor:	George Milne
Médium:	Printed Book
Jazyk:	English
Vydáno:	McGraw-Hill 1994

Podobné jednotky

Načítá se...

Formal Specification And Verification Of Digital Systems
Autor: Milne, George
Vydáno: (1994)

Načítá se...

Formal specification and verification of digital systems /
Autor: Milne, George
Vydáno: (1994)

Načítá se...

Formal methods of program verification and specification
Autor: H K Berg, a další
Vydáno: (1982)

Načítá se...

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

Načítá se...

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

Načítá se...

Protocol specification, testing and verification
Autor: Diaz, Michel
Vydáno: (1986)

Načítá se...

Multimedia sytems
Autor: John F Koegel Buford
Vydáno: (2003)

Načítá se...

UNIX Sytem
Autor: Bourne,S R
Vydáno: (1983)

Načítá se...

Real-time systems: specification, verification and analysis/
Autor: Joseph, Mathai, Ed
Vydáno: (1996)

Načítá se...

Database sytem concepts /
Autor: Silberschatz, Abraham
Vydáno: (2006)

Načítá se...

Essays on the Caste Sytem
Autor: Bougle' Ce' Lestin
Vydáno: (1971)

Načítá se...

Control sytem theory
Autor: Elgerd, Olle I
Vydáno: (1967)

Načítá se...

Agroforestry: sytems and practices /
Autor: Ramesh Umrani
Vydáno: (2010)

Načítá se...

Comparitive economic sytems
Vydáno: (1989)

Načítá se...

Verification and meaning /
Vydáno: (1976)

Načítá se...

Formal Specification: Techniques And Applications
Autor: Nimal Nissanke
Vydáno: (1999)

Načítá se...

Formal specification and software development
Autor: Bjorner,Dines

Načítá se...

Formal specification and software development
Autor: Bjorner, Diner
Vydáno: (1982)

Načítá se...

Design of foundation sytems :principles and practices
Autor: Kurian, Ninan P
Vydáno: (1994)

Načítá se...

Systems of sytems engineering principles and applications
Autor: Jamshidi, Mo.,ed
Vydáno: (2009)

Načítá se...

Management information sytems : text and cases, a global digital enterprise perspective /
Autor: Jawadekar, Waman S
Vydáno: (2013)

Načítá se...

Program Construction and Verification
Autor: Backhouse, Roland C
Vydáno: (1986)

Načítá se...

System validation and verification
Autor: Jeffrey O Grady
Vydáno: (1998)

Načítá se...

Practical design verification
Autor: Pradhan, Dhiraj K.
Vydáno: (2009)

Načítá se...

Program construction and verification /
Autor: Backhouse, Roland C .
Vydáno: (1986)

Načítá se...

Program construction and verification
Autor: Backhouse, Roland C; Author
Vydáno: (1986)

Načítá se...

Validation and verification techniques for
Autor: Pratiksha Saxena

Načítá se...

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

Načítá se...

Foundation of program verification /
Autor: Loeckx, Jacques
Vydáno: (1983)

Načítá se...

Larch:languages and tools for formal specification
Autor: John V. Guttag,James J.Horming
Vydáno: (1993)

Načítá se...

Prolog: from formal specification to prototype
Autor: Leadbetter, Peter
Vydáno: (1991)

Načítá se...

Formal Specification Of Complex Reasoning Systems
Autor: Treur, Jan
Vydáno: (1993)

Načítá se...

Larch: languages and tools for formal specification
Autor: Guttag, John V, a další
Vydáno: (1993)

Načítá se...

Systems of sytems engineering : principles and applications
Autor: Jamshidi

Načítá se...

Microprocessor based automatic test sytem
Autor: Johnson K Thomas
Vydáno: (1981)

Načítá se...

Sytems analysis and water quality management
Autor: Thomann, R V
Vydáno: (1972)

Načítá se...

Sytems analysis and water quality management
Autor: Thomann, R V
Vydáno: (1972)

Načítá se...

Special Library sytem and Information services
Autor: Dariush A
Vydáno: (2013)

Načítá se...

State functions and liner control sytems /
Autor: Schultz, Donald G. And
Vydáno: (1967)

Načítá se...

Optimising the life of oil hydravic sytems /
Vydáno: (1981)