Produkt
KlappentextThis book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. modeling and logic;
Details
ISBN/GTIN978-3-319-49814-0
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2016
Erscheinungsdatum13.11.2016
Auflage1st ed. 2016
Seiten253 Seiten
SpracheEnglisch
Gewicht425 g
IllustrationenX, 253 p. 62 illus.
Artikel-Nr.41093688
Rubriken