phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

VLSI Algorithms and Architectures

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha VLSI Algorithms and Architectures Fillia Makedon
Libristo kód: 01558299
Nakladateľstvo Springer, Berlin
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main... Celý popis
? points 154 b
61.51 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Payard Desserts Francois Payard / Pevná
common.buy 39.79 €
Algeria / Pevná
common.buy 11.71 €
Salt and Saffron Kamila Shamsie / Brožovaná
common.buy 10.29 €
Krisenjahre. Stationen sowjetisch-amerikanischer Beziehungen im Spannungsfeld des Kalten Krieges 1945-1962 Christian Schwab / Brožovaná
common.buy 44.44 €
Geschlechter- und Sexualitatsentwurfe in der SS-Zeitung Das Schwarze Korps Sebastian Winter / Brožovaná
common.buy 68.58 €
Globalisierung imperial und sozialistisch Martin Aust / Brožovaná
common.buy 42.62 €
PRIPRAVUJEME
Infanta Bodo Kirchhoff / Pevná
common.buy 18.68 €
Language in Prehistory Alan Barnard / Brožovaná
common.buy 28.98 €
Superacion Profesional en atencion a la diversidad social Yakeline Isabel Acosta Rodríguez / Brožovaná
common.buy 77.67 €
Empfindsame Reise Laurence Sterne / Brožovaná
common.buy 24.84 €
Kulturgeschichte der Neuzeit - 5. Buch Egon Friedell / Brožovaná
common.buy 30.60 €
Efficiency, Sustainability, and Justice to Future Generations Klaus Mathis / Pevná
common.buy 186.47 €
Uncertainty Kostas Kampourakis / Pevná
common.buy 49.08 €
Water Quality Monitoring Network Design Nilgun B. Harmanciogammalu / Pevná
common.buy 186.47 €
Entwicklungspsychologie genetischer Syndrome Klaus Sarimski / Brožovaná
common.buy 50.09 €

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.

Informácie o knihe

Celý názov VLSI Algorithms and Architectures
Autor Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou
Jazyk Angličtina
Väzba Kniha - Brožovaná
Počet strán 330
EAN 9783540167662
ISBN 3540167668
Libristo kód 01558299
Nakladateľstvo Springer, Berlin
Váha 550
Rozmery 156 x 234 x 18

Kategórie

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť
Technológie, strojárstvo, poľnohospodárstvo > Technológie: všeobecné témy > Strojárstvo: všeobecne
Technológie, strojárstvo, poľnohospodárstvo > Energetické technológie a inžinierstvo > Elektrotechnika
Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet