Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

Ochsenschläger, Peter

Details

Published by: Vieweg+Teubner Verlag

Publication Date: 1995-01-01

Format: Paperback

ISBN-13: 9783528054335

DOI: 10.1007/978-3-322-88841-9

Dimensions: 210cm x148cm

Pages: 280