Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Inbunden, 2022
539 kr
Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
AvBernd-Holger Schlingloff,Ming Chai
Häftad, Engelska, 2022
Del i serien Lecture Notes in Computer Science
727 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. formal methods for intelligent and learning systems;
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Concurrency, Specification and Programming
Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron
Inbunden, 2023
1 778 kr
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Häftad, 2023
408 kr
Concurrency, Specification and Programming
Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron
Häftad, 2024
1 778 kr
Concurrency, Specification and Programming : Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programmin
Bernd-Holger Schlingloff, Thomas Vogel
625 kr
- -30%
- -22%
- -22%
Del 3
- 4 för 3
Del 8
- -19%