Del 13712
Del i serien Lecture Notes in Computer Science
Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Häftad, Engelska, 2019
729 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2019-11-15
- Mått155 x 235 x 31 mm
- Vikt855 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor554
- FörlagSpringer Nature Switzerland AG
- ISBN9783030349677
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 14446
Theoretical Aspects of Computing – ICTAC 2023
Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
Häftad, 2023
1 149 kr
Del 12165
Del 13360
Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Häftad, 2022
1 439 kr
Del 10001
Deductive Software Verification – The KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Häftad, 2016
1 729 kr
Del 12345
Deductive Software Verification: Future Perspectives
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Häftad, 2020
729 kr