Erweiterte Suche

Grid  List

  1. On the Construction of Engineering Handbooks On the Construction of Engineering Handbooks

    On the Construction of Engineering Handbooks

    Stefan Gruner
    Springer International Publishing, Springer International Publishing
    14.04.2020

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Formal Methods for Software Engineering Formal Methods for Software Engineering

    Formal Methods for Software Engineering

    Markus Roggenbach
    Springer International Publishing
    23.06.2022

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

    Gebunden
    80,24 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Algebra and Coalgebra in Computer Science Algebra and Coalgebra in Computer Science

    Algebra and Coalgebra in Computer Science

    José Luis Fiadeiro
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    18.08.2005

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods ¿ Fun for Everybody Formal Methods ¿ Fun for Everybody

    Formal Methods ¿ Fun for Everybody

    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    11.03.2021

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    08.12.2017

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Markus Roggenbach
    Springer International Publishing, Springer International Publishing
    11.04.2021

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Formal Methods for Software Engineering Formal Methods for Software Engineering

    Formal Methods for Software Engineering

    Markus Roggenbach
    Springer Nature Switzerland, Springer International Publishing
    24.06.2023

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

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Applicable Formal Methods for Safe Industrial Products Applicable Formal Methods for Safe Industrial Products

    Applicable Formal Methods for Safe Industrial Products

    Anne E. Haxthausen
    Springer Nature Switzerland, Springer Nature Switzerland
    17.08.2023

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

    Taschenbuch
    70,61 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1