Risultato ricerca

Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software Tedesco 19.08.2020 Tascabile Fr. 39.50 1-2 settimane (il titolo viene stampato sull'ordine)