Yüklüyor......

QR Kod

Formal specification and verification of digital sytems

Detaylı Bibliyografya
Yazar:	George Milne
Materyal Türü:	Printed Book
Dil:	English
Baskı/Yayın Bilgisi:	McGraw-Hill 1994

Benzer Materyaller

Yüklüyor......

Formal Specification And Verification Of Digital Systems
Yazar:: Milne, George
Baskı/Yayın Bilgisi: (1994)

Yüklüyor......

Formal specification and verification of digital systems /
Yazar:: Milne, George
Baskı/Yayın Bilgisi: (1994)

Yüklüyor......

Formal methods of program verification and specification
Yazar:: H K Berg, ve diğerleri
Baskı/Yayın Bilgisi: (1982)

Yüklüyor......

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

Yüklüyor......

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

Yüklüyor......

Protocol specification, testing and verification
Yazar:: Diaz, Michel
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

Multimedia sytems
Yazar:: John F Koegel Buford
Baskı/Yayın Bilgisi: (2003)

Yüklüyor......

UNIX Sytem
Yazar:: Bourne,S R
Baskı/Yayın Bilgisi: (1983)

Yüklüyor......

Real-time systems: specification, verification and analysis/
Yazar:: Joseph, Mathai, Ed
Baskı/Yayın Bilgisi: (1996)

Yüklüyor......

Database sytem concepts /
Yazar:: Silberschatz, Abraham
Baskı/Yayın Bilgisi: (2006)

Yüklüyor......

Essays on the Caste Sytem
Yazar:: Bougle' Ce' Lestin
Baskı/Yayın Bilgisi: (1971)

Yüklüyor......

Control sytem theory
Yazar:: Elgerd, Olle I
Baskı/Yayın Bilgisi: (1967)

Yüklüyor......

Agroforestry: sytems and practices /
Yazar:: Ramesh Umrani
Baskı/Yayın Bilgisi: (2010)

Yüklüyor......

Comparitive economic sytems
Baskı/Yayın Bilgisi: (1989)

Yüklüyor......

Verification and meaning /
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Formal Specification: Techniques And Applications
Yazar:: Nimal Nissanke
Baskı/Yayın Bilgisi: (1999)

Yüklüyor......

Formal specification and software development
Yazar:: Bjorner,Dines

Yüklüyor......

Formal specification and software development
Yazar:: Bjorner, Diner
Baskı/Yayın Bilgisi: (1982)

Yüklüyor......

Design of foundation sytems :principles and practices
Yazar:: Kurian, Ninan P
Baskı/Yayın Bilgisi: (1994)

Yüklüyor......

Systems of sytems engineering principles and applications
Yazar:: Jamshidi, Mo.,ed
Baskı/Yayın Bilgisi: (2009)

Yüklüyor......

Management information sytems : text and cases, a global digital enterprise perspective /
Yazar:: Jawadekar, Waman S
Baskı/Yayın Bilgisi: (2013)

Yüklüyor......

Program Construction and Verification
Yazar:: Backhouse, Roland C
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

System validation and verification
Yazar:: Jeffrey O Grady
Baskı/Yayın Bilgisi: (1998)

Yüklüyor......

Practical design verification
Yazar:: Pradhan, Dhiraj K.
Baskı/Yayın Bilgisi: (2009)

Yüklüyor......

Program construction and verification /
Yazar:: Backhouse, Roland C .
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

Program construction and verification
Yazar:: Backhouse, Roland C; Author
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

Validation and verification techniques for
Yazar:: Pratiksha Saxena

Yüklüyor......

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

Yüklüyor......

Foundation of program verification /
Yazar:: Loeckx, Jacques
Baskı/Yayın Bilgisi: (1983)

Yüklüyor......

Larch:languages and tools for formal specification
Yazar:: John V. Guttag,James J.Horming
Baskı/Yayın Bilgisi: (1993)

Yüklüyor......

Prolog: from formal specification to prototype
Yazar:: Leadbetter, Peter
Baskı/Yayın Bilgisi: (1991)

Yüklüyor......

Formal Specification Of Complex Reasoning Systems
Yazar:: Treur, Jan
Baskı/Yayın Bilgisi: (1993)

Yüklüyor......

Larch: languages and tools for formal specification
Yazar:: Guttag, John V, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

Yüklüyor......

Systems of sytems engineering : principles and applications
Yazar:: Jamshidi

Yüklüyor......

Microprocessor based automatic test sytem
Yazar:: Johnson K Thomas
Baskı/Yayın Bilgisi: (1981)

Yüklüyor......

Sytems analysis and water quality management
Yazar:: Thomann, R V
Baskı/Yayın Bilgisi: (1972)

Yüklüyor......

Sytems analysis and water quality management
Yazar:: Thomann, R V
Baskı/Yayın Bilgisi: (1972)

Yüklüyor......

Special Library sytem and Information services
Yazar:: Dariush A
Baskı/Yayın Bilgisi: (2013)

Yüklüyor......

State functions and liner control sytems /
Yazar:: Schultz, Donald G. And
Baskı/Yayın Bilgisi: (1967)

Yüklüyor......

Optimising the life of oil hydravic sytems /
Baskı/Yayın Bilgisi: (1981)