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.76 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Vergessene Forschung Simon Groth / Book Paperback
common.buy 77.18 €
Freiheitsindex Deutschland 2012 Ulrike Ackermann / Book Paperback
common.buy 17.92 €
Die Schildkröte Mirakula Richard Buckley / Book Hardback
common.buy 11.13 €
Bienestar y pedicura Sybille Feindt / E-book Adobe ePub DRM
common.buy 6.57 €
Batman: El largo Halloween (Edición Deluxe) LOEB / Book Paperback
common.buy 65.63 €
Geschlechter- und Sexualitatsentwurfe in der SS-Zeitung Das Schwarze Korps Sebastian Winter / Book Paperback
common.buy 54.09 €
Coming soon
Infanta Bodo Kirchhoff / Book Hardback
common.buy 17.31 €
Globalisierung imperial und sozialistisch Martin Aust / Book Paperback
common.buy 42.74 €
Mimi a Líza Katarína Kerekesová / Book Hardback
common.buy 10.73 €
Règles spirituelles et secrets de la prière SHARANI / Book Paperback
common.buy 10.93 €
Atlas současného vojenství Bruno Tertrais / Book Sheet
common.buy 12.65 €
Empfindsame Reise Laurence Sterne / Book Paperback
common.buy 11.74 €
Hot Fire Tom 2 Piorun Lingas-Łoniewska Agnieszka / Book Paperback
common.buy 10.02 €
Agent 21 - Im Zeichen des Todes Chris Ryan / Book Paperback
common.buy 9.11 €
Dulce pecado - Dulce pecado - Dulce pecado Janelle Denison / E-book Adobe ePub DRM
common.buy 4.35 €
1308 Andreas Speer / Book Hardback
common.buy 357.59 €
Demixage Spectral D Image Hyperspectrale Et Fusion de Connaissances Zouhaier Ben Rabah / Book Paperback
common.buy 85.49 €
'E Ddoje Bizzoche Antonino Guglielmi / Book Paperback
common.buy 10.32 €
Plantas transgénicas, de la ciencia al derecho IAÑEZ PAREJA / Book Paperback
common.buy 29.17 €
EL LIDER MUNDFUL LARRAITZ URRESTILLA / Book Paperback
common.buy 24.91 €
guerre de demain. Tome 16 DRIANT-E-C / Book Paperback
common.buy 19.24 €
Make photography easier Tusk Katarzyna / Book Paperback
common.buy 9.61 €
Meeresgeheimnisse Myrna van Meer / Book Paperback
common.buy 14.48 €
Krisenjahre. Stationen sowjetisch-amerikanischer Beziehungen im Spannungsfeld des Kalten Krieges 1945-1962 Christian Schwab / Book Paperback
common.buy 44.66 €

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

By George G. M. James George G. M. James / Book Hardback
common.buy 26.02 €
24th Mechanized Infantry Division Combat Team, Operation Desert Storm United States Army Infantry Division (M / Book Paperback
common.buy 19.24 €
Recipes and Meal Planning for the Happy Healthy Senior Diana Darrisaw / Book Paperback
common.buy 13.36 €
More Stories Huey Tells Ann Cameron / Book Paperback
common.buy 6.27 €
DISNEY MOVIE FAVORITES Howorth / Book Paperback
common.buy 12.35 €
Athenagoras RANKIN / Book Paperback
common.buy 89.85 €
On the Night You Were Born Nancy Tillman / Book Board book
common.buy 10.63 €
Halden Zimmermann's Guide to High Impact Blogs for Life Changing Income Halden Zimmermann / Book Paperback
common.buy 10.32 €
Salt and Saffron Kamila Shamsie / Book Paperback
common.buy 10.83 €
Modern Romance February Books 1-4 MICHELLE SMART / Book Paperback
common.buy 19.14 €
Coming soon
Manes and Tails - Horses and Unicorns Jenny Copper / Book Hardback
common.buy 9.72 €
COMBATING TERRORISM U.S. Efforts in Northwest Africa Would Be Strengthened by Enhanced Program Management United States Government Accountability / Book Paperback
common.buy 16.70 €
Water Quality Monitoring Network Design Nilgun B. Harmanciogammalu / Book Hardback
common.buy 154.58 €
Uncertainty Kostas Kampourakis / Book Hardback
common.buy 49.32 €
Outlines of Latin Phonetics H. A. Strong / Book Hardback
common.buy 30.79 €
3 Stepbrothers Sofia Q. Holand / Book Paperback
common.buy 31.70 €
Memoir of the Reverend Samuel Barrett: With a Selected Series of His Discourses (1867) Samuel Barrett / Book Paperback
common.buy 27.85 €
Saint Bernard On The Love Of God (1884) Marianne Caroline / Book Paperback
common.buy 27.85 €
Never Open It: The Taboo Trilogy Ken Niimura / Book Hardback
common.buy 15.79 €
Dr. Seuss Workbook: Grade 3 Dr Seuss / Book Paperback
common.buy 10.83 €
Everything Begins Elsewhere Tishani Doshi / E-book Adobe ePub DRM
common.buy 12.65 €
Humanism Ferdinand Canning Scott Schiller / Book Hardback
common.buy 34.53 €
Top
Rendezvous With Rama Sir Arthur C. Clarke / Book Paperback
common.buy 10.42 €
Medical Professionalism Thomas D Harter / Book Hardback
common.buy 142.73 €

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?