SWITCHING THEORY INSIGHT THROUGH PREDICATE LOGIC (HB 2004)
Language: English
Published by SPRINGER, 2004
- Hardcover
- New
Seller: UK BOOKS STORE, London, London, United KingdomUK BOOKS STORE
AbeBooks seller since March 11, 2024
Condition: New
US$ 315.09
Quantity: 1 available
Add to basketItem description from seller
Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Seller Inventory # CBS 9783540403432
- Title
- SWITCHING THEORY INSIGHT THROUGH PREDICATE LOGIC (HB 2004)
- Author
- VINGRON S.P.
- Publisher
- SPRINGER
- Publication year
- 2004
- Condition
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 3540403434
- ISBN 13
- 9783540403432
- Edition
- International Edition
The author’s main concern is to promote understanding of the basic ideas underlying switching theory. Nothing is taken for granted, whether it is the concept of a logic variable, that of feedback in a latch or sequential circuit, or the necessity to encode internal states. This very basic and thorough approach enables the development of new concepts such as Composition, or Verification. The theoretical side is enhanced by using predicate (instead of propositional) logic allowing for formal proofs till now unattainable. On the practical side, sequential circuits that hitherto were obtained intuitively are now open to a formal synthesis procedure.
"Synopsis" may belong to another edition of this title.
From the Back Cover
The author’s main concern is to promote understanding of the basic ideas underlying switching theory. Nothing is taken for granted, whether it is the concept of a logic variable, that of feedback in a latch or sequential circuit, or the necessity to encode internal states. This very basic and thorough approach enables the development of new concepts such as Composition, or Verification. The theoretical side is enhanced by using predicate (instead of propositional) logic allowing for formal proofs till now unattainable. On the practical side, sequential circuits that hitherto were obtained intuitively are now open to a formal synthesis procedure.
"About the title" may belong to another edition of this title.
UK BOOKS STORE
London, London, United Kingdom
AbeBooks seller since March 11, 2024
Shipping rates from United Kingdom to U.S.A.
| Item | 5 to 10 business days | 4 to 7 business days |
|---|---|---|
| First item | US$ 7.96 | US$ 13.28 |
Payment methods
Seller's business information
URBAN BOOK LIMITED
71-75 Shelton Street, Covent Garden
London, United Kingdom WC2H 9JQ