Formal modeling and analysis of timed systems [[Book] :]11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / Víctor Braberman, Laurent Fribourg (eds.).
Von: (11th :, FORMATS (Conference) (11th :, 2013 :, Buenos Aires, Argentina).
Mitwirkende(r): Fribourg, Laurent [editor of compilation.] | Braberman, Víctor [editor of compilation.].
Materialtyp:
BuchReihen: Lecture notes in computer science: 8053.; LNCS sublibrarySL 1Theoretical computer science and general issues: Verlag: Berlin : Springer, 2013.Beschreibung: 1 online resource (x, 275 pages) : illustrations. ; 24 cm.Inhaltstyp: text Medientyp: computer Datenträgertyp: online resourceISBN: 9783642402289 (print); 3642402283 (print); 3642402291 (electronic bk.); 9783642402296 (electronic bk.).Weitere Titel: FORMATS 2013.Schlagwörter: Computer simulation -- Congresses | Temporal automata -- Congresses | Formal methods (Computer science) -- Congresses | System analysis -- Congresses | Computer Simulation -- Congresses | Systems Analysis -- CongressesGenre/Form: Electronic books.DDC-Klassifikation: 003 .3 Online-Ressourcen: Check for Full Text Access restricted: DAL users only
| Medientyp | Aktueller Standort | Signatur | url | Exemplarnr. | Status | Fälligkeitsdatum |
|---|---|---|---|---|---|---|
Books
|
6october 1105 | 003 .3 (Regal durchstöbern) | Link: | 1 | Verfügbar |
Regale von 6october durchstöbern , Standort: 1105 Regal ausblenden
|
|
|
|
|
|
|
||
| 001.94 H T The Mars mystery | 001.942 P U UFO files | 001.942 P U UFO files | 003 .3 Formal modeling and analysis of timed systems | 003.2D E Elements of forecasting | 003.54'076 VI Information systems | 003 AI Information systems development |
International conference proceedings.
Includes author index.
Includes author index.
Es gibt keine Kommentare zu diesem Titel.