Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
tarafından
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
Başlık
:
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Yazar
:
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
ISBN
:
9783030349684
Edisyon
:
1st ed. 2019.
Fiziksel Niteleme
:
XVII, 554 p. 1489 illus., 92 illus. in color. online resource.
Seri
:
Programming and Software Engineering ; 11918
Özet
:
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
Konu Başlığı
:
Software engineering.
Programming languages (Electronic computers).
Computers.
Artificial intelligence.
Computer logic.
Computer simulation.
Computer organization.
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies/product-market-codes/I14037
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005
Logic in AI. https://scigraph.springernature.com/ontologies/product-market-codes/I21020
Simulation and Modeling. https://scigraph.springernature.com/ontologies/product-market-codes/I19000
Computer Systems Organization and Communication Networks. https://scigraph.springernature.com/ontologies/product-market-codes/I13006
Yazar Ek Girişi
:
Ahrendt, Wolfgang.
Tapia Tarifa, Silvia Lizeth.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 428135-1001 | QA76.758 | Springer E-Book Collection |