Catalog
About Sage
(current)
Sage Member Map
Need Help?
Library2Go
GoodReads
My Account
Basic Search
Browse the Catalog
Advanced Search
Search Courses
Browse Courses
1
Records In Basket
View Basket
Place Holds
Print Title Details
Email Title Details
Add Basket to Saved List
Clear Basket
Record Details
Catalog Search
Search:
Type:
Keyword
Title
Journal Title
Author
Subject
Series
Digital Bookplate
Format:
All Formats
- All Audiobooks
- All Books
- All Electronic Resources
- All Music
- All Resources (No Electronic)
- Exclude Electronic Resources
All Videos
Audiobook Cassette
Audiobook CD
Audiocassette music recording
Blu-ray
Braille
CD Music
DVD
Equipment, games, toys
Kit
Large Print Book
Library of Things
Magazines & Newspapers (and serials)
Map
Music Score
Preloaded Audio
VHS
Video Games (and software)
Library:
Sage Library System
Sage Juvenile Materials
Sage Juvenile Easy Materials
Sage Young Adult Materials
Sage Large Print
Sage Adult Materials (Videos excluded)
Baker County Library District
Baker Bookmobile Branch
Baker County Library
Baker Haines Branch
Baker Halfway Branch
Baker Huntington Branch
Baker Richland Branch
Baker Sumpter Branch
Baker County Schools
Huntington School Library
Blue Mountain Community College
Blue Mountain Community College Library
BMCC-Hermiston Center
Columbia Gorge Community College
Columbia Gorge Community College Library
CGCC Hood River Campus
Eastern Oregon University
EOU Library
Gilliam County Public Libraries
Arlington Public Library
Gilliam County Library
Gilliam County Schools
Condon School Library
Grant County Public Libraries
Grant County Library
Harney County Public Libraries
Harney County Library
Harney County Schools
Burns High School
Crane Union High School Library
Harney ESD Resource Center
Hines Middle School
Slater Elementary
Hood River County Library District
Cascade Locks Library
Hood River County Bookmobile
Hood River County Library
Parkdale Library
Hood River County Schools
Hood River Valley High School Library
Ione Library District
Ione Public Library
Klamath County Libraries
Klamath Community College
Lake County Library District
Christmas Valley Branch Library
Lake County Main Library - Lakeview
Lakeview Adult Materials
Lakeview Juvenile Materials
Lakeview Young Adult Materials
Paisley Branch Library
Silver Lake Branch Library
Malheur County Public Libraries
Nyssa Public Library
Ontario Community Library
Vale Emma Humphrey Library
Malheur County Schools
Ontario High School Library
Ontario Middle School Library
Vale High School Library
Oregon Trail Library District
OTLD Boardman Library
OTLD Heppner Branch
OTLD Irrigon Branch
Sherman County Public Libraries
Sherman County Public/School Library
Treasure Valley Community College
Treasure Valley Community College Library
TVCC-Caldwell
Umatilla County Public Libraries
Adams Public Library
Athena Public Library
Echo Public Library
Helix Public Library
Hermiston Public Library
Milton-Freewater Public Library
Pendleton Public Library
Pilot Rock Public Library
Stanfield Public Library
Ukiah Public/School Library
Umatilla Public Library
Weston Public Library
Umatilla County Schools
Hermiston High School Library
McLoughlin High School Library
Stanfield Secondary School Library
Umatilla County Special Libraries
Tamastslikt Cultural Institute Library
Union County Public Libraries
Cook Memorial Library - La Grande
Elgin Public Library
North Powder City Library
Union Carnegie Public Library
Union County Schools
Cove School Library
Wallowa County Public Libraries
Enterprise Public Library
Joseph Public Library
Wallowa County Library
Imnaha
Troy
Wallowa Public Library
Wallowa County Schools
Enterprise High School Library
Wallowa County Special Libraries
Josephy Library of Western History and Culture
Wasco County Medical Libraries
Wasco County Service District
Dufur School Community Library
Southern Wasco County Library
The Dalles Wasco County Library
Wasco County Library Van
Juvenile Materials
Wheeler County Libraries
Fossil City Library
Search
All Libraries
[
2 filters applied
]
Back To Results
Showing Item 1 of 1
Book
Higher order logic and hardware verification
Melham
,
T
.
F
. (
Tom
F
.)
(
Author
).
More Details
Record details
ISBN:
052141718X :
Physical Description:
xiii, 165 pages : illustrations ; 26 cm.
print
Publisher:
Cambridge ;
Cambridge University Press,
1993.
Search for related items by subject
Subject:
Logic, Symbolic and mathematical
Integrated circuits Very large scale integration Very large scale integration
Search for related items by series
Cambridge tracts in theoretical computer science ;
31
Cambridge tracts in theoretical computer science
Available copies
1 of 1 copy available at Sage Library System.
Holds
0 current holds with 1 total copy.
Place Hold
Add to basket
Remove from basket
View My Basket
Print
Email
Permalink
Disable Highlighting
Show Only Available Copies
Location
Call Number / Copy Notes
Barcode
Shelving Location
Circulation Modifier
Status
Due Date
Courses
Grant County Library
511 Melham
(
Text
)
37845000130182
Adult Non-Fiction
Available
-
► Awards, Reviews, & Suggested Reads
► Shelf Browser
► MARC Record
Back To Results
Showing Item 1 of 1
Login To Evergreen
Library Card Number
PIN
Forgot Your Password?
Additional Resources
Book
