P Spirakis | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?

VLSI ALGORITHMS AND ARCHITECTURES - AEGEAN WORKSHOP ON COMPUTING, LOUTRAKI, GREECE, JULY 8-11, 1986. PROCEEDINGS

Fillia Makedon; Kurt Mehlhorn; T. Papatheodorou; P. Spirakis
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1986)
Pehmeäkantinen kirja

51,40 €

0 (LOGN) PARALLEL TIME INTERSECTION AND UNION ALGORITHMS FOR A SET OF PLANAR DISCS

T S Papatheodoro; P Spirakis
Palala Press (2015)
Kovakantinen kirja

34,20 €

COORDINATING PEBBLE MOTION ON GRAPHS, THE DIAMETER OF PERMUTATION GROUPS AND APPLICATIONS

D M Kornhauser; G. Miller; P. Spirakis
Creative Media Partners, LLC (2015)
Kovakantinen kirja

34,30 €

COORDINATING PEBBLE MOTION ON GRAPHS, THE DIAMETER OF PERMUTATION GROUPS AND APPLICATIONS

D. M. Kornhauser; G. Miller; P. Spirakis
Creative Media Partners, LLC (2018)
Pehmeäkantinen kirja

17,30 €

0 (LOGN) PARALLEL TIME INTERSECTION AND UNION ALGORITHMS FOR A SET OF PLANAR DISCS

T. S. Papatheodoro; P. Spirakis
CHIZINE PUBN (2018)
Pehmeäkantinen kirja

43,60 €

VLSI Algorithms and Architectures - Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings

Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 330 sivua
Asu: Pehmeäkantinen kirja
Painos: 1986
Julkaisuvuosi: 1986, 01.06.1986 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 227

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus