Søkt på: Bøker av Bernd-Holger Schlingloff
totalt 7 treff
Formal Methods for Software Engineering
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 …
Formal Methods for Software Engineering
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 …
Software Engineering and Formal Methods
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 …
Software Engineering and Formal Methods
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 …
Concurrency, Specification and Programming
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and …
Concurrency, Specification and Programming
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and …
Concurrency, Specification and Programming
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and …