Reliable Software Technologies – Ada-Europe 2018: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June ... Notes in Computer Science, Band 10873)

In diesem Band werden die Schlüsselergebnisse der Ada-Europe 2018 in Lissabon vorgestellt: von formalen Verifikationsmethoden über sichere Programmi ...

Allgemein

Marke
António Casimiro
ISBN
António Casimiro 3319924311

Eigenschaften

Menü