Computer logic, testing, and verification /

Bibliographic Details
Main Author: Roth, J. Paul (John Paul), 1922-
Format: Book
Language:English
Published: Potomac, Md. : Computer Science Press, [1980]
Series:Digital system design series.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000pam a2200000 a 4500
001 in00000084043
005 20151008055638.0
008 791220s1980 mdua b 00110 engm
010 |a  79027230  
020 |a 0914894625 :  |c $23.95 
035 |a (OCoLC)05893252 
035 |9 AAJ4006AM 
040 |a DLC  |c DLC  |d m.c.  |d TXA  |d UtOrBLW 
049 |a TXAM  |c [1361807] 
050 0 0 |a TK7888.4  |b .R67 
082 0 |a 621.3819/5835 
100 1 |a Roth, J. Paul  |q (John Paul),  |d 1922- 
245 1 0 |a Computer logic, testing, and verification /  |c J. Paul Roth. 
264 1 |a Potomac, Md. :  |b Computer Science Press,  |c [1980] 
264 4 |c ©1980 
300 |a xx, 176 pages :  |b illustrations ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Digital system design series 
504 |a Includes bibliographical references and index. 
650 0 |a Logic circuits. 
650 0 |a Logic design. 
830 0 |a Digital system design series. 
999 |a MARS 
999 f f |s 329a1502-1fc7-36e4-bda2-f11f8b24c141  |i 29a71689-0cd9-3ead-bd21-4cbcc1e90fdc  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e TK7888.4 .R67  |h Library of Congress classification  |i unmediated -- volume  |m A14806252709 
998 f f |a TK7888.4 .R67  |t 0  |l Remote Storage