Foundations of Software Science and Computation Structures Delia Kesner
Titel: Foundations of Software Science and Computation Structures, Untertitel: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Einband: Taschenbuch, Autor: Delia Kesner, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 436, Maße: 235x155x24 mm, Gewicht: 657 g, Verkäufer: buch-mimpf, Schlagworte: Concurrency Theory Open Access categorical models and logics emerging models of computation language theory, automata, and games logical aspects of computational complexity logics of programming modal, spatial, and temporal logics models of software security program analysis software specification and refinement.
Jetzt bei Ebay:
