E-Book, Englisch, 346 Seiten
Reihe: Workshops in Computing
Kwiatkowska / Shields / Thomas Semantics for Concurrency
Erscheinungsjahr 2013
ISBN: 978-1-4471-3860-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
E-Book, Englisch, 346 Seiten
Reihe: Workshops in Computing
ISBN: 978-1-4471-3860-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




