phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

VLSI Algorithms and Architectures

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha VLSI Algorithms and Architectures Fillia Makedon
Libristo kód: 01558299
Nakladatelství Springer, Berlin
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 14-18 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Salt and Saffron Kamila Shamsie / Brožovaná
common.buy 276 Kč
Algeria / Pevná
common.buy 317 Kč
Krisenjahre. Stationen sowjetisch-amerikanischer Beziehungen im Spannungsfeld des Kalten Krieges 1945-1962 Christian Schwab / Brožovaná
common.buy 1 176 Kč
Payard Desserts Francois Payard / Pevná
common.buy 910 Kč
Language in Prehistory Alan Barnard / Brožovaná
common.buy 794 Kč
Efficiency, Sustainability, and Justice to Future Generations Klaus Mathis / Pevná
common.buy 5 094 Kč
Geschlechter- und Sexualitatsentwurfe in der SS-Zeitung Das Schwarze Korps Sebastian Winter / Brožovaná
common.buy 1 891 Kč
Globalisierung imperial und sozialistisch Martin Aust / Brožovaná
common.buy 1 070 Kč
Infanta Bodo Kirchhoff / Pevná
common.buy 464 Kč
Superacion Profesional en atencion a la diversidad social Yakeline Isabel Acosta Rodríguez / Brožovaná
common.buy 2 132 Kč
Empfindsame Reise Laurence Sterne / Brožovaná
common.buy 673 Kč
Kulturgeschichte der Neuzeit - 5. Buch Egon Friedell / Brožovaná
common.buy 829 Kč
Uncertainty Kostas Kampourakis / Pevná
common.buy 1 270 Kč
Entwicklungspsychologie genetischer Syndrome Klaus Sarimski / Brožovaná
common.buy 1 237 Kč
Water Quality Monitoring Network Design Nilgun B. Harmanciogammalu / Pevná
common.buy 5 094 Kč

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.

Informace o knize

Plný název VLSI Algorithms and Architectures
Autor Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou
Jazyk Angličtina
Vazba Kniha - Brožovaná
Počet stran 330
EAN 9783540167662
ISBN 3540167668
Libristo kód 01558299
Nakladatelství Springer, Berlin
Váha 550
Rozměry 156 x 234 x 18

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Technologie, strojírenství, zemědělství > Technologie: obecná témata > Strojírenství: obecně
Technologie, strojírenství, zemědělství > Energetické technologie a inženýrství > Elektrotechnika
Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet