*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Algebra and Coalgebra in Computer Science
    Algebra and Coalgebra in Computer Science
    José Luis Fiadeiro
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Software Engineering
    Formal Methods for Software Engineering
    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    Buch
    Print on Demand

    Software programs are formal entities with precise meanings independent of their programmers, so ...

    80,18 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. On the Construction of Engineering Handbooks
    On the Construction of Engineering Handbooks
    Stefan Gruner
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book focuses on the clarification of what actually a handbook is, the systematic identificat...

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods - Fun for Everybody
    Formal Methods - Fun for Everybody
    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This volume constitutes the post-workshop proceedings of the First International Workshop on Form...

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Markus Roggenbach
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed post-conference proceedings of the 25th Internation...

    54,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Formal Methods for Software Engineering
    Formal Methods for Software Engineering
    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    Software programs are formal entities with precise meanings independent of their programmers, so ...

    59,32 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Applicable Formal Methods for Safe Industrial Products
    Applicable Formal Methods for Safe Industrial Products
    Anne E. Haxthausen
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers ...

    70,61 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1