Get Free Shipping on orders over $89
Lecture Notes in Computer Science : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings - Fillia Makedon

Lecture Notes in Computer Science

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

By: Fillia Makedon (Editor), Kurt Mehlhorn (Editor), T. Papatheodorou (Editor)

Paperback | 1 June 1986

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Mathematical Theory of Computation

Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $150.00

$117.75

21%
OFF
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Beading With Algorithms : Cellular Automata In Peyote Stitch - Gwen Fisher
Mathematical Foundations of Deep Learning : Theory and Algorithms - Xiaojing Ye
Theory of Computation for Software Developers - Maxim  Mozgovoy

RRP $189.00

$167.75

11%
OFF
Nonlinear Analysis for Human Movement Variability - Aaron D. Likens

RRP $194.00

$171.75

11%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
Accelerating Graph Algorithms - Zhigao Zheng
Axiomatic Set Theory : An Introduction - George Tourlakis
Applied Mathematics with F# - Sudipta Mukherjee