Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen (Programm Angewandte Informatik)

Spezifikation

von Peter Ochsenschläger

Taschenbuch

ISBN: 978-3-528-05433-5

ISBN-10: 3-528-05433-6

Vieweg+Teubner Verlag · 1995