Modellierung verteilter Systeme Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

Bibliographic Details
Main Author: Ochsenschläger, Peter
Format: eBook
Language:German
Published: Wiesbaden Vieweg+Teubner Verlag 1995, 1995
Edition:1st ed. 1995
Series:Programm Angewandte Informatik
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:VIII, 280 S. 29 Abb online resource
ISBN:9783322888419