Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southamp
79.98 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10473909
Beschreibung
Invited Talks.- Translation and Transformation.- Analysis and Tests.- Reals and Hybrid Systems.-
Refinement.- Hybrid ERTMS Case Study.- Short Papers.
Eigenschaften
Breite: | 156 |
Gewicht: | 674 g |
Höhe: | 239 |
Länge: | 22 |
Seiten: | 432 |
Sprachen: | Englisch |
Autor: | Alexander Raschke, Klaus Reichl, Michael Butler, Thai Son Hoang |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen