info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

VLSI Algorithms and Architectures

Език Английски езикАнглийски език
Книга С меки корици
Книга VLSI Algorithms and Architectures Fillia Makedon
Код Либристо: 01558299
Издателство Springer, Berlin
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main... Цялото описание
? points 165 b
130 лв
Външен склад в ограничено количество Изпращаме след 10-15 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

Salt and Saffron Kamila Shamsie / С меки корици
common.buy 23 лв
Payard Desserts Francois Payard / С твърди корици
common.buy 85 лв
Algeria / С твърди корици
common.buy 25 лв
Krisenjahre. Stationen sowjetisch-amerikanischer Beziehungen im Spannungsfeld des Kalten Krieges 1945-1962 Christian Schwab / С меки корици
common.buy 94 лв
Language in Prehistory Alan Barnard / С меки корици
common.buy 61 лв
Efficiency, Sustainability, and Justice to Future Generations Klaus Mathis / С твърди корици
common.buy 394 лв
Infanta Bodo Kirchhoff / С твърди корици
common.buy 37 лв
Globalisierung imperial und sozialistisch Martin Aust / С меки корици
common.buy 90 лв
Geschlechter- und Sexualitatsentwurfe in der SS-Zeitung Das Schwarze Korps Sebastian Winter / С меки корици
common.buy 145 лв
Uncertainty Kostas Kampourakis / С твърди корици
common.buy 99 лв
Superacion Profesional en atencion a la diversidad social Yakeline Isabel Acosta Rodríguez / С меки корици
common.buy 164 лв
Empfindsame Reise Laurence Sterne / С меки корици
common.buy 52 лв
Kulturgeschichte der Neuzeit - 5. Buch Egon Friedell / С меки корици
common.buy 65 лв
Entwicklungspsychologie genetischer Syndrome Klaus Sarimski / С меки корици
common.buy 99 лв
Water Quality Monitoring Network Design Nilgun B. Harmanciogammalu / С твърди корици
common.buy 394 лв

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.

Информация за книгата

Пълно заглавие VLSI Algorithms and Architectures
Автор Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou
Език Английски език
Корици Книга - С меки корици
Брой страници 330
Баркод 9783540167662
ISBN 3540167668
Код Либристо 01558299
Издателство Springer, Berlin
Тегло 550
Размери 156 x 234 x 18

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo