Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Mentés helye:
Testületi szerző(k): | |
---|---|
Közreműködő(k): | |
Különgyűjtemény: | e-book |
Formátum: | könyv |
Nyelv: | angol |
Megjelenés: |
Cham : Springer International Publishing,
2017
|
Sorozat: | Lecture Notes in Computer Science ; 10419 |
Tárgyszavak: | |
Online elérés: | https://doi.org/10.1007/978-3-319-65765-3 |
Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|
LEADER | nam a22 5i 4500 | ||
---|---|---|---|
001 | 000954353 | ||
005 | 20190425094036.0 | ||
007 | cr nn 008mamaa | ||
008 | 170802s2017 gw af fsb 101 0 eng d | ||
020 | |a 978-3-319-65765-3 | ||
024 | 7 | |a 10.1007/978-3-319-65765-3 |2 doi | |
040 | |a Springer |b hun |c ELTE | ||
041 | 0 | |a eng | |
050 | 4 | |a QA76.9.A43 | |
082 | 0 | 4 | |a 005.1 |2 23 |
245 | 0 | 0 | |a Formal Modeling and Analysis of Timed Systems |b 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings |c edited by Alessandro Abate, Gilles Geeraerts |
260 | |a Cham |b Springer International Publishing |c 2017 | ||
300 | |a X, 353 p. |b ill. | ||
336 | |a szöveg |b txt |2 rdacontent | ||
337 | |a számítógépes |b c |2 rdamedia | ||
338 | |a távoli hozzáférés |b cr |2 rdacarrier | ||
347 | |a szövegfájl |b PDF |2 rda | ||
490 | 1 | |a Lecture Notes in Computer Science |v 10419 | |
520 | |a This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. | ||
580 | |a Nyomtatott kiadás: ISBN 9783319657646 | ||
580 | |a Nyomtatott kiadás: ISBN 9783319657660 | ||
506 | |a Az e-könyvek a teljes ELTE IP-tartományon belül online elérhetők. | ||
598 | |a könyv | ||
595 | |a e-book | ||
650 | 0 | |a Computer software. | |
650 | 0 | 4 | |a szoftver |
650 | 0 | |a Software engineering. | |
650 | 0 | 4 | |a szoftverfejlesztés |
650 | 0 | |a Computer science. | |
650 | 0 | 4 | |a számítástudomány |
650 | 0 | |a Computer simulation. | |
650 | 0 | |a Logic design. | |
650 | 1 | 4 | |a Algorithm Analysis and Problem Complexity. |
650 | 2 | 4 | |a Software Engineering. |
650 | 2 | 4 | |a Programming Languages, Compilers, Interpreters. |
650 | 2 | 4 | |a Simulation and Modeling. |
650 | 2 | 4 | |a Logics and Meanings of Programs. |
650 | 2 | 4 | |a Mathematical Logic and Formal Languages. |
653 | |a elektronikus könyv | ||
700 | 1 | |a Abate, Alessandro |e szerk. | |
700 | 1 | |a Geeraerts, Gilles |e szerk. | |
710 | 2 | |a SpringerLink (Online service) |e közreadó testület | |
711 | 2 | |a International Conference on Formal Modeling and Analysis of Timed Systems |n 15. |d 2017 |c Berlin, Németország | |
830 | 0 | |a Lecture notes in computer science | |
850 | |a B2 | ||
856 | 4 | 0 | |y Online változat |u https://doi.org/10.1007/978-3-319-65765-3 |
264 | 1 | |a Cham |b Springer International Publishing |b Imprint: Springer |c 2017 |