home libri books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

hailpern b. t. - verifying concurrent processes using temporal logic

Verifying Concurrent Processes Using Temporal Logic




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
54,98 €



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Pubblicazione: 03/1982
Edizione: 1982





Sommario

Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.










Altre Informazioni

ISBN:

9783540112051

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 233 x 155 mm Ø 700 gr
Formato: Brossura
Illustration Notes:VIII, 209 p.
Pagine Arabe: 209
Pagine Romane: viii


Dicono di noi