Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

VLSI Algorithms and Architectures

Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings

Language EnglishEnglish
Book Paperback
Book VLSI Algorithms and Architectures Fillia Makedon
Libristo code: 01558299
Publishers Springer, Berlin
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main... Full description
? points 125 b
51.68 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Freiheitsindex Deutschland 2012 Ulrike Ackermann / Book Paperback
common.buy 17.89 €
Черный Корсар. Романы Эмилио Сальгари / Book Hardback
common.buy 26.19 €
Revue Française de Yoga - Numéro 51 Pratiquer : pourquoi ? Comment ? collegium / Book Paperback
common.buy 23.56 €
Les défilés du désir GUERIN / Book Paperback
common.buy 17.19 €
Batman: El largo Halloween (Edición Deluxe) LOEB / Book Paperback
common.buy 65.54 €
Geschlechter- und Sexualitatsentwurfe in der SS-Zeitung Das Schwarze Korps Sebastian Winter / Book Paperback
common.buy 54.01 €
Coming soon
Infanta Bodo Kirchhoff / Book Hardback
common.buy 17.29 €
Globalisierung imperial und sozialistisch Martin Aust / Book Paperback
common.buy 42.98 €
Atlas současného vojenství Bruno Tertrais / Book Sheet
common.buy 14.05 €
Reddition - Zeitschrift für Graphische Literatur 78: Dossier 'Die neue Spirou-Schule« Michael Hein / Book Paperback
common.buy 10.92 €
Management kvality a rizik perioperační péče Jaroslava Jedličková / Book Paperback
common.buy 11.72 €
Hot Fire Tom 2 Piorun Lingas-Łoniewska Agnieszka / Book Paperback
common.buy 10.00 €
Agent 21 - Im Zeichen des Todes Chris Ryan / Book Paperback
common.buy 9.09 €
Potere assoluto. I cento magistrati che comandano in Italia Sergio Rizzo / Book Paperback
common.buy 19.41 €
Empfindsame Reise Laurence Sterne / Book Paperback
common.buy 11.72 €
I Love to Go to Daycare (Hindi English Bilingual Children's Book) Kidkiddos Books / Book Hardback
common.buy 25.99 €
Kulturgeschichte der Neuzeit - 5. Buch Egon Friedell / Book Paperback
common.buy 13.54 €
Cocuklar ve Taslar Bülent Cetiner / Book Paperback
common.buy 14.15 €
Krisenjahre. Stationen sowjetisch-amerikanischer Beziehungen im Spannungsfeld des Kalten Krieges 1945-1962 Christian Schwab / Book Paperback
common.buy 44.60 €
EL LIDER MUNDFUL LARRAITZ URRESTILLA / Book Paperback
common.buy 24.87 €
Superacion Profesional en atencion a la diversidad social Yakeline Isabel Acosta Rodríguez / Book Paperback
common.buy 62.30 €
guerre de demain. Tome 16 DRIANT-E-C / Book Paperback
common.buy 19.31 €
Make photography easier Tusk Katarzyna / Book Paperback
common.buy 9.60 €
1308 Andreas Speer / Book Hardback
common.buy 357.08 €

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name VLSI Algorithms and Architectures
Author Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou
Language English
Binding Book - Paperback
Number of pages 330
EAN 9783540167662
ISBN 3540167668
Libristo code 01558299
Publishers Springer, Berlin
Weight 550
Dimensions 156 x 234 x 18

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Salt and Saffron Kamila Shamsie / Book Paperback
common.buy 10.81 €
Crack Growth D V Kubair / Book Hardback
common.buy 244.59 €
Gerard Anonymous / Book Paperback
common.buy 22.95 €
Shakespeare and the Moving Image Anthony Davies / Book Hardback
common.buy 49.05 €
More Stories Huey Tells Ann Cameron / Book Paperback
common.buy 6.26 €
Electricity and Electronics with Windows 3.5 Disk Thomas E. Newman / Book Hardback
common.buy 249.75 €
DISNEY MOVIE FAVORITES Howorth / Book Paperback
common.buy 12.74 €
Athenagoras RANKIN / Book Paperback
common.buy 84.56 €
Top
On the Night You Were Born Nancy Tillman / Book Board book
common.buy 10.61 €
Water Quality Monitoring Network Design Nilgun B. Harmanciogammalu / Book Hardback
common.buy 154.36 €
Coming soon
Manes and Tails - Horses and Unicorns Jenny Copper / Book Hardback
common.buy 9.70 €
COMBATING TERRORISM U.S. Efforts in Northwest Africa Would Be Strengthened by Enhanced Program Management United States Government Accountability / Book Paperback
common.buy 16.68 €
Uncertainty Kostas Kampourakis / Book Hardback
common.buy 49.25 €
3 Stepbrothers Sofia Q. Holand / Book Paperback
common.buy 31.65 €
Memoir of the Reverend Samuel Barrett: With a Selected Series of His Discourses (1867) Samuel Barrett / Book Paperback
common.buy 27.81 €
Dr. Seuss Workbook: Grade 3 Dr Seuss / Book Paperback
common.buy 10.11 €
Humanism Ferdinand Canning Scott Schiller / Book Hardback
common.buy 34.48 €
Top
Rendezvous With Rama Sir Arthur C. Clarke / Book Paperback
common.buy 10.41 €
Medical Professionalism Thomas D Harter / Book Hardback
common.buy 142.52 €
Case Of Wagner Nietzsche Contra Wagner and Selected Aphorisms - The Original Classic Edition Nietzsche Friedrich / E-book Adobe ePub DRM
common.buy 7.78 €
SUCCESS PRE-INTERMEDIATE WORKBOOK+CD Lindsay White / Book Book
common.buy 21.44 €
Dear Chairman Jeff Gramm / Book Hardback
common.buy 21.23 €
Efficiency, Sustainability, and Justice to Future Generations Klaus Mathis / Book Hardback
common.buy 154.36 €
Language in Prehistory Alan Barnard / Book Paperback
common.buy 30.24 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?