[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

VLSI Algorithms and Architectures

Sprache EnglischEnglisch
Buch Broschur
Buch VLSI Algorithms and Architectures Fillia Makedon
Libristo-Code: 01558299
Verlag Springer, Berlin
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main... Vollständige Beschreibung
? points 161 b
64.16 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Payard Desserts Francois Payard / Hardcover
common.buy 39.74 €
Algeria / Hardcover
common.buy 12.00 €
Salt and Saffron Kamila Shamsie / Broschur
common.buy 11.69 €
Krisenjahre. Stationen sowjetisch-amerikanischer Beziehungen im Spannungsfeld des Kalten Krieges 1945-1962 Christian Schwab / Broschur
common.buy 50.44 €
Globalisierung imperial und sozialistisch Martin Aust / Broschur
common.buy 40.26 €
Geschlechter- und Sexualitatsentwurfe in der SS-Zeitung Das Schwarze Korps Sebastian Winter / Broschur
common.buy 50.35 €
Language in Prehistory Alan Barnard / Broschur
common.buy 30.26 €
DEMNÄCHST
Infanta Bodo Kirchhoff / Hardcover
common.buy 20.08 €
Superacion Profesional en atencion a la diversidad social Yakeline Isabel Acosta Rodríguez / Broschur
common.buy 81.31 €
Empfindsame Reise Laurence Sterne / Broschur
common.buy 13.02 €
Kulturgeschichte der Neuzeit - 5. Buch Egon Friedell / Broschur
common.buy 15.03 €
Efficiency, Sustainability, and Justice to Future Generations Klaus Mathis / Hardcover
common.buy 194.62 €
Uncertainty Kostas Kampourakis / Hardcover
common.buy 51.04 €
Water Quality Monitoring Network Design Nilgun B. Harmanciogammalu / Hardcover
common.buy 194.62 €
Entwicklungspsychologie genetischer Syndrome Klaus Sarimski / Broschur
common.buy 50.40 €

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.

Informationen zum Buch

Vollständiger Name VLSI Algorithms and Architectures
Autor Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou
Sprache Englisch
Einband Buch - Broschur
Anzahl der Seiten 330
EAN 9783540167662
ISBN 3540167668
Libristo-Code 01558299
Verlag Springer, Berlin
Gewicht 550
Abmessungen 156 x 234 x 18

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Energietechnik, Elektrotechnik und Energiemaschinenbau > Elektrotechnik
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto