Bernd-Holger Schlingloff – författare
Visar alla böcker från författaren Bernd-Holger Schlingloff. Handla med fri frakt och snabb leverans.
9 produkter
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Inbunden, 2022
904 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Siraj Ahmed Shaikh, Gerardo Schneider m. fl.
E-bok, 2022
897 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Häftad, 2023
680 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what …
Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
Av Bernd-Holger Schlingloff, Ming Chai
Häftad, 2022
736 kr
Lägg i varukorg
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. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 …
Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
Av Ming Chai, Bernd-Holger Schlingloff
E-bok, 2022
903 kr
Lägg i varukorg
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. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 …
Concurrency, Specification and Programming
Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Av Bernd-Holger Schlingloff, Thomas Vogel m. fl.
Inbunden, 2023
1802 kr
Lägg i varukorg
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine …
Concurrency, Specification and Programming
Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P''21), Berlin, Germany
Av Andrzej Skowron, Thomas Vogel m. fl.
E-bok, 2023
2350 kr
Lägg i varukorg
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine …
Concurrency, Specification and Programming
Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Av Bernd-Holger Schlingloff, Thomas Vogel m. fl.
Häftad, 2024
1802 kr
Lägg i varukorg
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine …
