2 results for 'Markus Roggenbach'

Sidebar Sidebar Sidebar
Did you mean: markt rosenbach Refine Search
  • Algebra and Coalgebra in Computer Science Algebra and Coalgebra in Computer Science
    Add to Cart The item has been added

    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 Techniques, decided to...
    $122.00

    Add to Cart The item has been added
  • Formal Methods for Software Engineering Formal Methods for Software Engineering
    Add to Cart The item has been added

    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 point.The first...
    $168.00

    Add to Cart The item has been added