Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Formal Methods for Software Engineering
inbunden,
2022,
Engelska,
ISBN 9783030387990
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 …
Concurrency, Specification and Programming
inbunden,
2023,
Engelska,
ISBN 9783031266508
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and …