Buch, Deutsch, 163 Seiten, Paperback, Format (B × H): 148 mm x 210 mm, Gewicht: 251 g
Reihe: BestMasters
Logiken und Monitorkonstruktionen für asynchrone Prozesse
Buch, Deutsch, 163 Seiten, Paperback, Format (B × H): 148 mm x 210 mm, Gewicht: 251 g
Reihe: BestMasters
ISBN: 978-3-658-12851-7
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Mathematik | Informatik EDV | Informatik Informatik Theoretische Informatik
- Mathematik | Informatik EDV | Informatik Technische Informatik Eingebettete Systeme
- Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung
Weitere Infos & Material
Lineare Temporallogik für verteilte
Systeme.- Monitorbarkeit.- Monitorkonstruktionen.- Monitorgenerierung in Scala.-
Instrumentierung von NXC-Code.- Fallstudien und Benchmarks.