|  |
| |
| Artikel-Nr.:
858A-9783030549930 Herst.-Nr.:
9783030549930 EAN/GTIN:
9783030549930 |
| |
|
| | |
| Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I Weitere Informationen: | | Author: | Emil Sekerinski; Nelma Moreira; José N. Oliveira; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, formal software verification, program reasoning, logic, education, software notations and tools, symbolic and algebraic manipulation, interaction design, formal methods and theory of security, architecting, artificial intelligence, computer science |
| | |
| |