Bookbot
Das Buch ist derzeit nicht auf Lager

Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme

Autoren

Buchvariante

2005, paperback

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.