Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Herzlich Willkommen!
ISBN: 9783540688921
Sprache: Englisch
Seitenzahl: 527
Produktart: Kartoniert / Broschiert
Herausgeber: Bernardo, Marco Degano, Pierpaolo Zavattaro, Gianluigi
Verlag: Springer Berlin
Veröffentlicht: 20.05.2008
Untertitel: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
Schlagworte: In silico automata brane calculi design formal methods hierarchical models logic model components modeling multi-level modeling