QR kód

Computer logic, testing and verification /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Roth, John Paul
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Potomac : Computer Science Press, 1980
Edice:	Digital system design series
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

GUIDELINE FOR LIFECYCLE VALIDATION, VERIFICATION, AND TESTING OF COMPUTER SOFTWARE.
Vydáno: (1984)

Logics for digital circuit verification. Theory, algorithms, and applications /
Autor: Janssen, Gradus Leonardus Johannes Maria
Vydáno: (1999)

Instruments for verification analysis and testing of photovoltaic systems
Vydáno: (2012)

Instruments for verification analysis and testing of photovoltaic systems
Vydáno: (2012)

Verification and validation in scientific computing /
Autor: Oberkampf, William L. 1944-, a další
Vydáno: (2010)

SSPTV - a software system for programs testing and verification /
Autor: Bologna, S., a další
Vydáno: (1978)

Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /
Autor: Courcoubetis, Costas
Vydáno: (1993)

Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 /
Autor: Boigelot, Bernard
Vydáno: (1996)

Optimization and computational logic /
Autor: Macaloon, Ken
Vydáno: (1996)

Fundamentals of computer logic /
Autor: Hutchison, David
Vydáno: (1981)

Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /
Autor: Dalla Chiara, Maria Luisa
Vydáno: (2018)

Layout design and verification /
Autor: Ueda, Kazuhiro
Vydáno: (1986)

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

Compiler Specification and Verification /
Autor: Polak, Wolfgang
Vydáno: (1981)

ACM transactions on computational logic
Vydáno: (2000)

Computer arithmetic. Logic and design /
Autor: Spaniol, Otto
Vydáno: (1981)

Protocol specification, testing, and verification. Vol. VIII : Proceedings of the IFIP WG 6.1 8th internat. symp., Atlantic City, New Jersey, USA, June 7 - 10, 1988 /
Autor: Rudin, Harry
Vydáno: (1988)

Logical design for computers and control /
Autor: Dodd, K. N.
Vydáno: (1972)

Digital logic and computer design /
Autor: Mano, M. Morris
Vydáno: (1979)

Word Games, Riddles and Logic Tests Tax Your Brain and Boost Your English /
Autor: Wallwork, Adrian
Vydáno: (2018)

Computational logic : symposium proceedings, Brussels, Belgium, November 13/14, 1990 /
Vydáno: (1990)

SOFTWARE ENGINEERING. ANALYSIS AND VERIFICATION /
Autor: Lewis, Theodore Gyle
Vydáno: (1982)

Trust in Nuclear Disarmament Verification
Autor: Bowen, Wyn Q.
Vydáno: (2018)

Formal System Verification State-of the-Art and Future Trends /
Vydáno: (2018)

Scene verification using an imaging model in 3-D computer vision /
Autor: Hanajík, Milan
Vydáno: (1995)

The elements of mathematical logic /
Autor: Rosenbloom, Paul C.
Vydáno: (1950)

Verification of electronic designs by reconstruction of the hierarchy /
Autor: Kostelijk, Anton Pieter
Vydáno: (1994)

VERIFICATION OF A MODEL OF THE EASTERN SCHELDT /
Autor: Leendertse, Jan J.
Vydáno: (1984)

VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /
Autor: Bologna, S.
Vydáno: (1985)

Software testing fundamentals : introduction to software verification theory /
Autor: Samuelis, Ladislav
Vydáno: (2013)

COMPUTER SCIENCE AND MULTIPLE-VALUED LOGIC : Theory and applications /
Autor: Rine, David C.
Vydáno: (1984)

IEEE design and test of computers

Logic, information and conversation /
Autor: Piwek, Paul Leo Antoine
Vydáno: (1998)

Logic analyzers for microprocessors /
Autor: Kneen, John
Vydáno: (1980)

Non-clasical logics, model theory and computability.
Vydáno: (1977)

FOUNDATIONS OF LOGIC PROGRAMMING /
Autor: Lloyd, John Wylie
Vydáno: (1984)

FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
Autor: Snyers, Dominique
Vydáno: (1987)

Conceptual models in man-machine design verification /
Autor: Rasmussen, Jens
Vydáno: (1985)

Specification and compositional verification of real-time systems /
Autor: Hooman, Jozef Johannes Maria
Vydáno: (1991)

Low-Power Design and Power-Aware Verification
Autor: Khondkar, Progyna
Vydáno: (2018)