markus roggenbach

Grid   List

  1. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Phillip James
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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 September 2016 in Gr...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Algebra and Coalgebra in Computer Science
    Algebra and Coalgebra in Computer Science
    José Luis Fiadeiro
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Zur Zeit liegt uns keine Inhaltsangabe vor.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. On the Construction of Engineering Handbooks
    On the Construction of Engineering Handbooks
    Stefan Gruner
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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 repositories) for...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Markus Roggenbach
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Methods - Fun for Everybody
    Formal Methods - Fun for Everybody
    Antonio Cerone
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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 2019.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Formal Methods for Software Engineering
    Formal Methods for Software Engineering
    Markus Roggenbach
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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.
    58,84 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Formal Methods for Software Engineering
    Formal Methods for Software Engineering
    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    Buch
    Bezug 11-15
    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.T...
    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. On the Construction of Engineering Handbooks
    On the Construction of Engineering Handbooks
    Stefan Gruner
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    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 repositories) ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Formal Methods - Fun for Everybody
    Formal Methods - Fun for Everybody
    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    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 2019.The 7 revise...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Markus Roggenbach
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This 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 re...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Formal Methods for Software Engineering
    Formal Methods for Software Engineering
    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    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.T...
    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Anästhesie bei alten Menschen
    Anästhesie bei alten Menschen
    Wolfgang Zink
    Thieme
    Hardcover
    Verfügbar: 1
    Sofort lieferbar
    Neuware
    Im Alter ist vieles anders...Aufgrund der steigenden Lebenserwartung der Bevölkerung sind alte und sehr alte Patienten keine Seltenheit mehr. Die perioperative Betreuung dieser hochbeta...
    98,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    Neu
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>