Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
AvWolfgang Ahrendt,Silvia Lizeth Tapia Tarifa
Häftad, Engelska, 2019
Del i serien Lecture Notes in Computer Science
551 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Theoretical Aspects of Computing – ICTAC 2023
Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
Häftad
878 kr
Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Häftad
1 095 kr
Deductive Software Verification – The KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Häftad
1 313 kr
Deductive Software Verification: Future Perspectives
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Häftad
551 kr
- Nyhet
- Signerad!
- Nyhet
- Signerad!
- Nyhet
- Nyhet