Temporal Logic of Programs

Name: Temporal Logic of Programs
SKU: cbda051ec21fdec68be1dc9d5db3d23c
Price: 47.99 EUR
Availability: InStock

1/1

Afbeelding van Temporal Logic of Programs

Bol

Prijzen vanaf

47,99

Uitgelicht

	47,99	Naar shop
VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol 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.

Lees meer

Vergelijk aanbieders (1)

Shop

Prijs

Verzendkosten

Totale prijs

47,99

Gratis

47,99

Naar shop

Gratis

Beschrijving (1)

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.

Lees meer