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 779,-
På lager i 1 butikker
Kjøp på nett
Fjernlager
Frakt og levering
Sammenligning av produkter
Her finner du de fire mest populære produktene i denne kategorien i en lignende prisklasse som det du ser på nå.
Integrated Formal Methods
779,-
Produktinformasjon
<p>This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.</p><p>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.</p>
Spesifikasjon
Produkt
| Produktnavn | Integrated Formal Methods |
| book typ | boker, fagboker, data og informasjonsteknologi, programmering |
Populære produkter
Pris og prishistorikk
Akkurat nå er 779,- den billigste prisen for Integrated Formal Methods blant 1 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.
?Ali alSharafi of Sfax: Atlases 1551/1571 and World Map 1579 Edition and English TranslationRoot Cellar Success Canning, Freezing, Drying, Smoking, and Preserving the HarvestMerriamWebster Quordle Puzzles A New Way to Play the Hit WordGuessing GameThis Is Not An Exercise The Hidden Places Where We Prepare for War
