Integrated Formal Methods

Integrated Formal Methods

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headin......
fra 869,-
Tilgjengelig i 2 butikker

Produktinformasjon

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings:  Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

Spesifikasjon

Produkt
ProduktnavnIntegrated Formal Methods
MerkeOther Brand
book typUngdomsskole/videregående

Pris og prishistorikk

Akkurat nå er 869,- den billigste prisen for Integrated Formal Methods blant 2 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste bøker for å være sikker på at du gjør det beste kjøpet.

Deutschland Frankreich Und Das Ende Der Locarno Ara 1928 1931Eine Vergleichende SchaltUnd GetriebelehreThe Black PennantJahrbuch 1928 Der Deutschen Versuchsanstalt Fur Luftfahrt E.V. Berlin Adlershof
Operativ taktisches ControllingDie Prasenz des Mittelalters in seinen HandschriftenComing Out of a Pale Road: Part Two of Pale Twisted ForestAufbruch ins Industriezeitalter Band 1 Linien der Entwicklungsgeschichte
Buch 1 3Vom Mittelalter Zur ReformationKulturtopographie deutschsprachiger LiteraturenReiseleitung und Gastefuhrung
10 Flavors of Potpourri TrailmixSonderausgabeMeine Taten Res gestae divi AugustiWehre Und Sohlenabsturze
Mythos MussoliniSturm und Drang10 Flavors of Potpourri TrailmixKrankenhausbedarfsplanung