Produkt
KlappentextThis 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.
Details
ISBN/GTIN978-3-319-66844-4
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2017
Erscheinungsdatum27.08.2017
Auflage1st ed. 2017
Seiten438 Seiten
SpracheEnglisch
Gewicht692 g
IllustrationenXXI, 438 p. 109 illus.
Artikel-Nr.43715442
Rubriken