Filter By
Books (5)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains by Markus Roggenbach 9783030388027
RRP: £49.99Booksplease Price: £26.90Software 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... -
Formal Methods for Software Engineering: Languages, Methods, Application Domains by Markus Roggenbach 9783030387990
RRP: £64.99Booksplease Price: £34.47Software 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... -
Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers by Markus Roggenbach 9783030737849
Booksplease Price: £46.28This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised... -
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings by Jose Luiz Fiadeiro 9783540286202
Booksplease Price: £46.58In 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 Techniques, decided to... -
On the Construction of Engineering Handbooks: with an Illustration from the Railway Safety Domain by Stefan Gruner 9783030446475
Booksplease Price: £46.28This 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 repositories) for...