Tools and algorithms for the construction and analysis of systems : Proceedings, Passau, Germany, March 27 - 29, 1996 /

Saved in:
Bibliographic Details
Main Author: Margaria, Tiziana
Corporate Author: Proceedings Germany, Passau
Other Authors: Steffen, Bernhard
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 1996
Edition:[1st ed.]
Series:Lecture notes in computer science Vol. 1055
Subjects:
algebraická relácia > Petriho sieť > komutujúci činiteľ > stochastický proces
ISBN:3540610421
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:XI, 434 s. : grafy, lit., obr., tab. ;
ISBN:3540610421

Similar Items