Sökt på: Böcker av Markus Roggenbach
totalt 14 träffar
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 …
On the Construction of Engineering Handbooks
This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as "e;settled knowledge"e; (extracted …
Algebra and Coalgebra in Computer Science
In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development …
Applicable Formal Methods for Safe Industrial Products
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry …
On the Construction of Engineering Handbooks
This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as “settled knowledge” (extracted from historic …
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April …
Algebra and Coalgebra in Computer Science
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 …
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in …
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in …
Formal Methods - Fun for Everybody
This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods - Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December …
Formal Methods – Fun for Everybody
This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December …