|  |
| |
| Artikel-Nr.:
858A-9783030550882 Herst.-Nr.:
9783030550882 EAN/GTIN:
9783030550882 |
| |
|
| | |
| 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures Weitere Informationen: | | Author: | Jonathan P. Bowen; Zhiming Liu; Zili Zhang | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, formal methods, formal reasoning, formal specification, formal verification, history of computing, modelling languages, program refinement, programming language semantics, reactive systems, real-time systems, runtime verification |
| | |
| |