FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / / edited by Nikolaj Bjørner, Frank de Boer

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
• Edizione: 1st ed. 2015.
• Descrizione fisica: 1 online resource (XVI, 610 p. 156 illus.)
• Disciplina: 004.0151
• Soggetto topico: Software engineering; Mathematical logic; Computer logic; Management information systems; Computer science; Computers; Software Engineering; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Management of Computing and Information Systems; Computation by Abstract Devices
• Persona (resp. second.): BjørnerNikolaj; de BoerFrank
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
• Titolo autorizzato: FM 2015: Formal Methods
• ISBN: 3-319-19249-3
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910483074103321
• Lo trovi qui: Univ. Federico II
• Serie: Programming and Software Engineering ; ; 9109