Articoli correlati a Dynamic Logic. New Trends and Applications: Second...

Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings - Brossura

 
9783030388096: Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Brossura
ISBN 10: 3030388093 ISBN 13: 9783030388096
Casa editrice: Springer, 2020

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Logic and verification.- Dynamic logics.-Modal and temporal logics.-Epistemic logics.- Program semantics.- Program reasoning Pre- and post- conditions.- Program verification.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2020
Lingua
Inglese
ISBN 10 
3030388093
ISBN 13 
9783030388096
Rilegatura
Paperback
Contatto del produttore
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783030388072: Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings: 12005

Edizione in evidenza

ISBN 10:  3030388077 ISBN 13:  9783030388072
Casa editrice: Springer, 2020
Brossura