Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen
Peter Ochsenschläger, Rainer Prinoth (auth.)种类:
年:
1995
出版:
1
出版社:
Vieweg+Teubner Verlag
语言:
german
页:
280
ISBN 10:
3528054336
ISBN 13:
9783528054335
系列:
Programm Angewandte Informatik
文件:
PDF, 5.28 MB
IPFS:
,
german, 1995
因版权方投诉,本书无法下载