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 (ed.); Kurt Mehlhorn (ed.); T. Papatheodorou (ed.); P. Spirakis (ed.)
Springer (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,10 €

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,20 €

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 (ed.), Kurt Mehlhorn (ed.), T. Papatheodorou (ed.), P. Spirakis (ed.)

51,40 €

Springer
Sivumäärä: 330 sivua
Asu: Pehmeäkantinen kirja
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