E-Book, Englisch, 220 Seiten
Ying Topology in Process Calculus
Erscheinungsjahr 2012
ISBN: 978-1-4613-0123-3
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
Approximate Correctness and Infinite Evolution of Concurrent Programs
E-Book, Englisch, 220 Seiten
ISBN: 978-1-4613-0123-3
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark




