Verteilende Verfeinerung - Entwurf Und Verifikation Verteilter Algorithmen Mit Petrinetzen
Publisher: Logos Verlag Berlin
Published: Sep 01, 2007
Language: ger
Format: paperback
Number of pages: 201
ISBN-13: 9783832516642
Notes: Source title: Verteilende Verfeinerung - Entwurf Und Verifikation Verteilter Algorithmen Mit Petrinetzen (German Edition)