Treffer: Concurrent Programming, Open Systems and Formal Methods
Titel:
Concurrent Programming, Open Systems and Formal Methods : Essays Dedicated to Gul Agha to Celebrate His Scientific Career / edited by Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian
Ausgabe:
1st ed.
Veröffentlicht:
Cham : Springer, 2026
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XL, 538 Seiten)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 16120
ISBN:
9783032052919 ; 9783032052902 (Sekundärausgabe) ; 9783032052926 (Sekundärausgabe)
DOI:
10.1007/978-3-032-05291-9