CQout Online Auctions CQout Online Auctions Home register to sell and buy at CQout! read our Frequently Asked Questions buy at CQout!sell at CQout! services for CQout registered users search for items or usernames at CQout
Click to enlarge image
Click to enlarge image
Keyword Filter
Advanced Search
Seller ID Filter
Category Filter
Books, Comics, Magazines
Antiquarian, Rare & First Editions
Antiques & Collectables
Art, Architecture & Photography
Audio Books
Calendars, Diaries, Annuals
Children,Young Adults Books
Comics & Graphic Novels
Computing & Internet
Cookery & Food
Crime, Thrillers & Mystery
Educational & Text Books
Fiction - General
Gay & Lesbian
Health, Family & Lifestyle
Hobbies, Crafts & Games
Home Improvements
Horror & Fantasy
Horticulture & Gardening
Information Products, e-books
Management & Business
Manuals & Handbooks
Military, Police & Services
Mind, Body & Spirit
Music, Stage & Screen
Nature, Wildlife & Animals
Poetry, Drama & Criticism
Pass times & Leisure
Printed Ephemera
Religion & Spirituality
Science, Technical & Medical
Science Fiction
Social Sciences
Stage & Screen
Topography/ Local Interest
Travel & Holidays
Transport & Motoring
True Crimes
Other Books, Comics, Magazines
Item Title:

Synthesis of Digital Designs from Recursion Equations


Books, Comics, Magazines


Educational & Text Books

Item Condition: New
Current Time:20 Oct 17 00:22:44
Time & Date displayed is forUnited States - EDT
Auction Closes:Learn more about Instant Buy

Quantity: (1 Available)
Price : £49.01 ($64.23)

Postage: £8.99 ($11.78)
  Change Default Country For Your View Settings
Select Your Country:

Change default country to United KingdomUK
Change default country to IrelandIreland
Change default country to CanadaCanada
Change default country to AustraliaAustralia
Change default country to United StatesUSA

What do you want from an online auction site?

CQ has been doing all of that since 1999. We haven't made a big noise about it, we've just quietly collected Buyers and Sellers in over 80 countries by word of mouth, doing things the best way we know how and responding to our users needs.

Want to join the CQ community? Just click on your home country to start.
To: United States (change country) | see all details |
Payments: You can pay with your Debit or Credit card using, EasyPay, our in-house payment service You can pay with your Debit or Credit card using SecurePay, our in-house escrow service card logos
Sell to:International
Item Specifics - Books ISBN : 0262100290
Author :
49.01 2644666 Title: Synthesis of Digital Designs from Recursion Equations Recommended Retail Price : 25.95 Our Price : 5.97 You Save : 19.98 (77% discount) ISBN : 0262100290 Author : SD Johnson Publisher : The MIT
Lot # 2644666
This item has been viewed 300 times
Seller Info
Discounted Books (8|0)
Learn more about trusted vendors
  Learn more about trade sellers
Item Location: Leicester
Seller Location: United Kingdom

Ask A Question
Seller's other items
Item Description
Email this listing to a friendtop
Title: Synthesis of Digital Designs from Recursion Equations

ISBN : 0262100290
Author : SD Johnson
Publisher : The MIT Press
Media : Hardcover
SKU MIX6-U6-120E-ACD6-11391


Brand new books, dispatch from our warehouse in the UK

Applicative languages provide a fully abstract, mathematically natural notation for specifying algorithms. This book develops a new approach to digital circuit design that is founded on the tenets of applicative programming style and which sheds light on functional programming disciplines by exploring their use in a novel realm of implementation. The book defines a circuit description language that uses systems equations to state connectivity-systems that are, in fact, applicative programs that compute the logical behavior of the circuit described. An interpreter is then presented through which both specifications and target descriptions can be executed, allowing engineers to experiment directly with the design notation without having to translate into a simulation language or construct a physical prototype. This greatly facilitates informal verification of design refinements and the implementation of benchmark tests. Moreover, the target language stands alone as a vehicle for rapid prototyping when more traditional design methods are used. An introduction to program synthesis through transformation is included. The techniques discussed are later adapted to digital design synthesis. A formal model of digital behavior is defined and a connection established between functional specifications and digital descriptions. A central theorem gives the characterization needed to serve as a goal for transformation. Several short examples illustrate the basic approach from the formal and experimental points of view. A complex exercise in language-driven design shows how advanced programming techniques can be brought to bear on larger design efforts. And finally, the book defines a specialized transformation system to address data flow. Steven D. Johnson is Visiting Assistant Professor in the Computer Science Department at Indiana University, where he received his Ph.D. This book is included in the ACM Distinguished Dissertation Series.

Shipping Worldwide

uk  eu  ireland usa  canada

gold star

Over 15,000 Books

Largest Book Shop

  • Combine your orders and make a big saving on the postage and packing
terms and conditions
  • Please note due to our discounted prices and high demand, books do go out of stock, if this is the case we will notify you and refund you in full.
  • The term P & P means Postage Packaging Material and Handling cost. We try to provide our customers with good service consisting of quality packaging and fast dispatch (please see our feedback).
  • We have standard P & P charges for our book range as follows (this only applies to mainland UK only), if you are in N.Ireland, the Highlands or off shore please email us for a combined postage rate.

Learn more about trusted vendorsLearn more about trade sellers
View this Seller's Returns Policy

Postage & PackingUnited KingdomInternational
ExpressNot Specified - AskNot Specified - Ask

Payment Options:
Integrated OnlineYou can pay with your Debit or Credit card using EasyPay, our in-house payment serviceYou can pay with your Debit or Credit card using SecurePay, our in-house escrow service

Ask the seller a question top

Use this form to send an email to the seller to ask questions you may have about this item only.
Always Ask Before you bid. You can not retract a bid once an auction is closed.

See More Great Items From This Seller top
Click here for details
Passwords to English: Student's Book Level 1#1

Closes: Instant Buy
Current Bid: £16.50 ($21.62) (no reserve)
Click here for details
Oxford Literacy Web: Launch into Literacy (Oxford Literacy#1

Closes: Instant Buy
Current Bid: £46.52 ($60.97) (no reserve)
Click here for details
American Higher Education: A History- Christopher J. Lucas#1

Closes: Instant Buy
Current Bid: £43.09 ($56.47) (no reserve)
Click here for details
Student Success Secrets- Eric Jensen

Closes: Instant Buy
Current Bid: £2.39 ($3.13) (no reserve)
Click here for details
The Evolution of Science Education as a Field of Research:

Closes: Instant Buy
Current Bid: £43.92 ($57.56) (no reserve)
Click here for details
Operating .NET Framework-based Applications#2

Closes: Instant Buy
Current Bid: £34.19 ($44.81) (no reserve)

© CQout Ltd., 1999-2017 home | help | services | search | listings | register | affiliates | RightsWatch | about us | press | Blog | contact us
All Rights Reserved. Use of this website constitutes acceptance of our terms & conditions and site rules.