E-Book, Englisch, Band 11392, 197 Seiten, eBook
Duan / Liu / Tian Structured Object-Oriented Formal Language and Method
Erscheinungsjahr 2019
ISBN: 978-3-030-13651-2
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
E-Book, Englisch, Band 11392, 197 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-13651-2
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Programming and testing.- Verification and validation.- Semantics.- Blockchain.