Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Temporal Logic of Programs

Name: Temporal Logic of Programs
Brand: Springer, Berlin
SKU: 06624859
Price: 52.69 EUR
Availability: InStock
Author: Fred Kroger
ISBN: 9783642715518

Fred Kroger

Lingua

Inglese

Libro In brossura

Codice Libristo: 06624859

Casa editrice Springer, Berlin, novembre 2011

Introduction to the temporal logic of - in particular paral-§lel - programs.Divided into three main... Descrizione completa

Codice Libristo: 06624859

129 b

52.69 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Coelln an der Spree Hansj Rgen Vahldiek

In brossura

11.39 €

Casa magica del arbol 5/La noche de los guerreros Ninja Mary Pope Osborne

In brossura

9.59 €

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.