VLSI Algorithms and Architectures

Name: VLSI Algorithms and Architectures
Brand: Springer, Berlin
SKU: 9783540167662
Price: 50.18 EUR
Availability: InStock

Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings

Autor: Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.18 €

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main...

Informácie o knihe

Autor

Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Stránok

330

EAN

9783540167662

ISBN

3540167668

Enbook ID

01558299

Vydavateľ

Springer, Berlin

Hmotnosť

550

Rozmery

156 x 234 x 18

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

VLSI Algorithms and Architectures

Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež