VLSI Algorithms and Architectures

Name: VLSI Algorithms and Architectures
Brand: Springer, Berlin
SKU: 9783540167662
Price: 1147 CZK
Availability: InStock

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

Autor: Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Stránek

330

EAN

9783540167662

ISBN

3540167668

Enbook ID

01558299

Vydavatel

Springer, Berlin

Hmotnost

550

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

VLSI Algorithms and Architectures

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také