VLSI Algorithms and Architectures

Name: VLSI Algorithms and Architectures
Brand: Springer, Berlin
SKU: 9783540167662
Price: 213.09 PLN
Availability: InStock

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

Autor: Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

213.09 zł

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

Informacje o książce

Autor

Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou

Język

Angielski

Oprawa

Książka - Miękka

strony

330

EAN

9783540167662

ISBN

3540167668

Enbook ID

01558299

Wydawca

Springer, Berlin

Waga

550

Wymiary

156 x 234 x 18

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

VLSI Algorithms and Architectures

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również