Safety-critical computer systems

Safety-critical computer systems

Bibliographic Details
Main Author:	Storey Neil
Format:	Book
Language:	English
Published:	Addison-Wesley

Similar Items

VHDL for programmable logic
by: Skahill Kevin
Published: (1996)

Digital systems Principles and applications
by: Tocci Ronald J., et al.
Published: (2004)

VHDL and AHDL digital system implementation
by: Scarpino Frank A.
Published: (1998)

Ψηφιακή σχεδίαση με τη γλώσσα VHDL αρχές και πρακτικές
by: Πογαρίδης Δημήτριος
Published: (2000)

Practical digital logic design and testing
by: Lala Parag K. 1948-
Published: (1996)

Computer aided logical design With emphasis on VLSI
by: Hill Frederick J., et al.
Published: (1993)

Computer-aided analysis of nonlinear microwave circuits
by: Rodrigues Paulo J. C.
Published: (1998)

Digital electronics A practical approach with EASY-PC and PULSAR
by: Monk Richard
Published: (1998)

Systems analysis and data processing
by: Subramanyam A., et al.
Published: (1984)

Ψηφιακά κυκλώματα αριθμητικά συστήματα και λογικά κυκλώματα
by: Γιαννακόπουλος Παναγιώτης Ηρ
Published: (2012)

Contemporary logic design
by: Katz Randy H.
Published: (1994)

VHDL starter's guide
by: Yalamanchili Sudhakar
Published: (1998)

SPICE for power electronics and electric power
by: Rashid Muhammad H.
Published: (1993)

An introduction to systems analysis techniques
by: Lejk Mark, et al.
Published: (1998)

Information engineering
by: Martin James 1933-
Published: (1989)

SSADM Version 4 A practical approach
by: Goodland Mike, et al.
Published: (1995)

Ανάλυση και σχεδίαση κυκλωμάτων ψηφιακής λογικής
by: Nelson Victor P. 1949-
Published: (2007)

PSPICE and MATLAB for electronics an integrated approach
by: Attia John Okyere
Published: (2002)

Computing for engineers and scientists with fortran 77
by: McCracken Daniel D., et al.
Published: (1988)

CAD Προγραμματισμός, σχεδίαση
by: Bernatz Theo, et al.
Published: (1993)

The handbook of software for engineers and scientists
Published: (1996)

Computer aided design Fundamentals and system architectures
by: Encarnacao J., et al.
Published: (1983)

Computers and information systems
by: Hutchinson Sarah E., et al.
Published: (1996)

Τεχνικές ανάλυσης και σχεδίασης συστημάτων
by: Μανωλοπούλου Ευγενία
Published: (1994)

Digital logic and computer design
by: Mano M. Morris 1927-
Published: (1979)

Logic circuits and microcomputer systems
by: Wiatrowski Claude A., et al.
Published: (1981)

Computer-aided analysis of electronic circuits Algorithms and computational techniques
by: Chua Leon O., et al.
Published: (1975)

The design logic of textile products
by: Matsuo T., et al.
Published: (1997)

Discrete mathematical structures for computer science
by: Kolman Bernard, et al.
Published: (1987)

Some tapas of computer algebra
by: Cuypers Hans, et al.
Published: (1999)

Core exam
Published: (1999)

Distributed real-time systems Monitoring, visualization, debugging and analysis
by: Tsai Jeffrey J. P.
Published: (1996)

Logic and computer design fundamentals
by: Mano M. Morris 1927-, et al.
Published: (1997)

Thermodynamic cycles computer-aided design and optimization
by: Wu Chih 1936-
Published: (2004)

Τεχνικό σχέδιο με Η/Υ Βασικές αρχές
by: Allmannsberger - Klauke Marianne, et al.
Published: (1999)

The official PGP user's guide
by: Zimmermann Philip
Published: (1995)

Δομές δεδομένων
by: Κόλλιας Γιάννης
Published: (1988)

Δομές δεδομένων - Αλγόριθμοι
by: Λουκάκης Μανώλης
Published: (1993)

On-line algorithms Proceedings of a DIMACS workshop, February 11-13, 1991
by: McGeoch Lyle A. 1959-, et al.
Published: (1992)

AutoCAD 13
by: Τερζίδης Χρήστος, et al.
Published: (1996)