Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Francisco Durán, Robert Heinrich, Carolyn Talcott, Carolyn Talcott et al, Steffen Zschaler - Composing Model-Based Analysis Tools
Francisco Durán, Robert Heinrich, Carolyn Talcott, Carolyn Talcott et al, Steffen Zschaler Composing Model-Based Analysis Tools Inglese 04.12.2022 Tascabile Fr. 134.00 1-2 settimane (il titolo viene stampato sull'ordine)
Tajan Ban Kirigin, Tajana Ban Kirigin, Joshua Guttman, Stepan Kuznetsov, Vivek Nigam, Mitsuhiro Okada... - Logic, Language, and Security
Tajan Ban Kirigin, Tajana Ban Kirigin, Joshua Guttman, Stepan Kuznetsov, Vivek Nigam, Mitsuhiro Okada... Logic, Language, and Security Inglese 03.12.2020 Tascabile Fr. 83.00 1-2 settimane (il titolo viene stampato sull'ordine)
Pete Csaba Ölveczky, Peter Csaba Ölveczky, Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott - Logic, Rewriting, and Concurrency
Pete Csaba Ölveczky, Peter Csaba Ölveczky, Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott Logic, Rewriting, and Concurrency Inglese 01.01.2015 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Francisc Durán, Francisco Durán, Robert Heinrich, Carolyn Talcott, Carolyn Talcott et al, Steffen Zschaler - Composing Model-Based Analysis Tools
Francisc Durán, Francisco Durán, Robert Heinrich, Carolyn Talcott, Carolyn Talcott et al, Steffen Zschaler Composing Model-Based Analysis Tools Inglese 09.12.2021 Copertina rigida Fr. 178.00 2-3 settimane (il titolo viene stampato sull'ordine)
Manuel Clavel, Francisco Durán, Steven Eker, Steven et al Eker, Patrick Lincoln, Narciso Martí-Oliet... - All About Maude - A High-Performance Logical Framework
Manuel Clavel, Francisco Durán, Steven Eker, Steven et al Eker, Patrick Lincoln, Narciso Martí-Oliet... All About Maude - A High-Performance Logical Framework Inglese 20.07.2007 Prodotto multimediale Fr. 123.00 1-2 settimane (il titolo viene stampato sull'ordine)
Farhad Arbab, Carolyn Talcott - Coordination Models and Languages
Farhad Arbab, Carolyn Talcott Coordination Models and Languages Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Wilfried Sieg, Richard Sommer, Carolyn Talcott - Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
Wilfried Sieg, Richard Sommer, Carolyn Talcott Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman Inglese Copertina rigida Fr. 179.00 In fase di riedizione, attualmente non disponibile
Edward A Lee, Edward A. Lee, Mohammad Reza Mousavi, Mohammad Reza Mousavi, Carolyn Talcott - Rebeca for Actor Analysis in Action
Edward A Lee, Edward A. Lee, Mohammad Reza Mousavi, Mohammad Reza Mousavi, Carolyn Talcott Rebeca for Actor Analysis in Action Inglese 06.04.2025 Tascabile Fr. 92.00 6-7 settimane