VLSI Algorithms and Architectures

Name: VLSI Algorithms and Architectures
Brand: Springer, Berlin
SKU: 9783540167662
Price: 276.36 RON
Availability: InStock

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

Autor: Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.36 lei

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

Informații despre carte

Autor

Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou

Limbă

engleză

Legare

Carte - Carte broșată

Pagini

330

EAN

9783540167662

ISBN

3540167668

Enbook ID

01558299

Editura

Springer, Berlin

Greutate

550

Dimensiuni

156 x 234 x 18

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

VLSI Algorithms and Architectures

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și