Temporal Logic of Programs di Fred Kröger edito da Springer Berlin Heidelberg
Alta reperibilità

Temporal Logic of Programs

EAN:

9783642715518

ISBN:

3642715516

Pagine:
160
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Temporal Logic of Programs

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.

Spedizione gratuita
€ 68.40€ 72.00
Risparmi:€ 3.60(5%)
o 3 rate da € 22.80 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Temporal Logic of Programs
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti