Theoretical Foundations Vlsi Design (14 results)
Language: English
Published by Cambridge University Press, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 58.55
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 59.06
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Language: English
Published by Cambridge University Press, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 56.95
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Cambridge University Press, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 67.43
£ 8.12 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. Recent research on the physical technologies of very large scale integration (VLSI). Editor(s): McEvoy, K.; Tucker, J. V. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 452 page…s, black & white illustrations. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 23. Weight in Grams: 800. . 2003. paperback. . . . .
Language: English
Published by Cambridge University Press, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 81.87
£ 7.75 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Recent research on the physical technologies of very large scale integration (VLSI). Editor(s): McEvoy, K.; Tucker, J. V. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 452 page…s, black & white illustrations. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 23. Weight in Grams: 800. . 2003. paperback. . . . . Books ship from the US and Ireland.
Language: English
Published by Cambridge University Press, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 81.19
£ 54.97 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very large scale integration (VLSI) are having major…effects on the electronic industry. The potential diversity and complexity of digital systems have begun a revolution in the technologies of digital design, involving the application of concepts and methods to do with algorithms and programming. In return, the problems of VLSI design have led to new subjects becoming of importance in computer science. Topics covered in this volume include: models of VLSI complexity; complexity theory; systolic algorithm design; specification theory; verification theory; design by stepwise refinement and transformations. A thorough literature survey with an exhaustive bibliography is also included. The book has grown from a workshop held at the Centre for Theoretical Computer Science at Leeds University and organised by the editors.
Language: English
Published by Cambridge Univ Pr, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 56.95
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 448 pages. 9.50x7.25x1.00 inches. In Stock. This item is printed on demand.
Language: English
Published by Cambridge University Press, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 64.83
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 452 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss Lam.
Language: English
Published by Cambridge University Press CUP, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 70.16
£ 2.95 shippingShips within U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 452.
Language: English
Published by Cambridge University Press, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 67.18
£ 8.50 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 452.
Language: English
Published by Cambridge University Press, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 61.11
£ 19.05 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Language: English
Published by Cambridge University Press, Cambridge, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: CitiRetail, Stevenage, United KingdomCitiRetail
Contact seller5-star sellerCondition: New
£ 61.99
£ 37.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very large scale integration (VLSI) are having major effects on the electronic industry. The pote…ntial diversity and complexity of digital systems have begun a revolution in the technologies of digital design, involving the application of concepts and methods to do with algorithms and programming. In return, the problems of VLSI design have led to new subjects becoming of importance in computer science. Topics covered in this volume include: models of VLSI complexity; complexity theory; systolic algorithm design; specification theory; verification theory; design by stepwise refinement and transformations. A thorough literature survey with an exhaustive bibliography is also included. The book has grown from a workshop held at the Centre for Theoretical Computer Science at Leeds University and organised by the editors. Recent research on the physical technologies of very large scale integration (VLSI). This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Language: English
Published by Cambridge University Press, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 62.60
£ 41.86 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Recent research on the physical technologies of very large scale integration (VLSI).InhaltsverzeichnisIntroduction Part I. Formal Methods and Verification: 1. A mechanised proof of correctness of a simple counter 2. A… formal model .
More imagesLanguage: English
Published by Cambridge University Press, 2003
Series: Book 5 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 67.98
£ 59.81 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Theoretical Foundations of VLSI Design | K. McEvoy (u. a.) | Taschenbuch | Englisch | 2003 | Cambridge University Press | EAN 9780521545655 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
