Il libro è attualmente esaurito
Parametri
Acquisto del libro
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen, Hans Eckert
- Lingua
- Pubblicato
- 1985
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.