| Artikelnummer | 233646324 | Erscheinungsdatum | 2026/06/27 | Listenpreis | €19.18 | Modellnummer | 233646324 | ||
|---|---|---|---|---|---|---|---|---|---|
| Kategorie | |||||||||
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software.. Read more
| ASIN | 3319668447 |
|---|---|
| ISBN10 | 3319668447 |
| ISBN13 | 978-3319668444 |
| Edition | 1st ed. 2017 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 1.04 x 9.25 inches |
| Item Weight | 1.45 pounds |
| Print length | 459 pages |
| Publication date | August 27, 2017 |
Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.
KorrekturanfrageFür dieses Produkt liegen derzeit keine schriftlichen Bewertungen vor.