Articoli correlati a Relational and Algebraic Methods in Computer Science:...

Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings - Brossura

 
9783319247052: Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Brossura
ISBN 10: 3319247050 ISBN 13: 9783319247052
Casa editrice: Springer, 2015

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Theory of relation algebras and Kleene algebras.- Process algebras.- Fixed point calculi.- Idempotent semirings.- Quantales, allegories, and dynamic algebras.- Cylindric algebras.- Application in areas such as verification.-Analysis and development of programs and algorithms.- Algebraic approaches to logics of programs.- Modal and dynamic logics.- Interval and temporal logics.

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

Editore
Springer
Data di pubblicazione
2015
Lingua
Inglese
ISBN 10 
3319247050
ISBN 13 
9783319247052
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

9783319247038: Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings: 9348

Edizione in evidenza

ISBN 10:  3319247034 ISBN 13:  9783319247038
Casa editrice: Springer, 2015
Brossura