VLSI Algorithms and Architectures

Name: VLSI Algorithms and Architectures
Brand: Springer, Berlin
SKU: 9783540167662
Price: 19373 HUF
Availability: InStock

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

Szerző: Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 373 Ft

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

Információk a könyvről

Szerző

Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou

Nyelv

Angol

Kötés

Könyv - Puha kötésű

oldal

330

EAN

9783540167662

ISBN

3540167668

Enbook ID

01558299

Kiadó

Springer, Berlin

Súly

550

Méretek

156 x 234 x 18

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

VLSI Algorithms and Architectures

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták