Das Buch ist derzeit nicht auf Lager

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen

Autoren

Hans Eckert

Parameter

ISBN: 9783486289619
Verlag: Oldenbourg

Kategorien

Deine Änderungsvorschläge

Buchvariante

1985

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.