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

Book information

Publisher

Vieweg+Teubner Verlag

Year

1995

ISBN

978-3-528-05433-5, 978-3-322-88841-9

DOI

10.1007/978-3-322-88841-9

Language

german

Format

PDF

Filesize

5 MB (5535057 bytes)

Series

Programm Angewandte Informatik

Edition

1

Pages

280\289

Orientation

yes

Scanned

yes

Time added

2013-08-30 00:05:40