phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

VLSI Algorithms and Architectures

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga VLSI Algorithms and Architectures Fillia Makedon
Libristo kod: 01558299
Nakladnici Springer, Berlin
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main... Cijeli opis
? points 154 b
61.44 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Payard Desserts Francois Payard / Tvrdi uvez
common.buy 39.74 €
Algeria / Tvrdi uvez
common.buy 12.00 €
Salt and Saffron Kamila Shamsie / Meki uvez
common.buy 11.69 €
Krisenjahre. Stationen sowjetisch-amerikanischer Beziehungen im Spannungsfeld des Kalten Krieges 1945-1962 Christian Schwab / Meki uvez
common.buy 44.38 €
Globalisierung imperial und sozialistisch Martin Aust / Meki uvez
common.buy 42.57 €
Geschlechter- und Sexualitatsentwurfe in der SS-Zeitung Das Schwarze Korps Sebastian Winter / Meki uvez
common.buy 68.50 €
Language in Prehistory Alan Barnard / Meki uvez
common.buy 28.95 €
PRIPREMAMO
Infanta Bodo Kirchhoff / Tvrdi uvez
common.buy 18.66 €
Superacion Profesional en atencion a la diversidad social Yakeline Isabel Acosta Rodríguez / Meki uvez
common.buy 77.58 €
Empfindsame Reise Laurence Sterne / Meki uvez
common.buy 24.81 €
Kulturgeschichte der Neuzeit - 5. Buch Egon Friedell / Meki uvez
common.buy 30.56 €
Efficiency, Sustainability, and Justice to Future Generations Klaus Mathis / Tvrdi uvez
common.buy 186.25 €
Uncertainty Kostas Kampourakis / Tvrdi uvez
common.buy 48.93 €
Water Quality Monitoring Network Design Nilgun B. Harmanciogammalu / Tvrdi uvez
common.buy 186.25 €
Entwicklungspsychologie genetischer Syndrome Klaus Sarimski / Meki uvez
common.buy 46.81 €

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.

Informacije o knjizi

Puni naziv VLSI Algorithms and Architectures
Autor Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou
Jezik Engleski
Uvez Knjiga - Meki uvez
Broj stranica 330
EAN 9783540167662
ISBN 3540167668
Libristo kod 01558299
Nakladnici Springer, Berlin
Težina 550
Dimenzije 156 x 234 x 18

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun