Concurrent Programming, Open Systems and Formal Methods

Concurrent Programming, Open Systems and Formal Methods
Autor
Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian
Matèria
Editor
Springer Nature
Data publicació
2026
Identificador
9783032052919
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-032-05291-9