*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, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Talks.- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.-...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Phillip James
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. On the Construction of Engineering Handbooks
    On the Construction of Engineering Handbooks
    Markus Roggenbach
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods - Fun for Everybody
    Formal Methods - Fun for Everybody
    Markus Roggenbach
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Markus Roggenbach
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods for Software Engineering
    Formal Methods for Software Engineering
    Antonio Cerone
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Applicable Formal Methods for Safe Industrial Products
    Applicable Formal Methods for Safe Industrial Products
    Anne E. Haxthausen
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Formal Methods for Software Engineering
    Formal Methods for Software Engineering
    Antonio Cerone
    Springer
    Buch
    BOD - 7 Tage

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

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1