Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Unifying Theories of Programming Unifying Theories of Programming

    Unifying Theories of Programming

    Augusto Sampaio
    Springer International Publishing, Springer Nature Switzerland
    12.09.2019

    This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Th...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Theoretical Aspects of Computing - ICTAC 2016 Theoretical Aspects of Computing - ICTAC 2016

    Theoretical Aspects of Computing - ICTAC 2016

    Farn Wang
    Springer International Publishing, Springer International Publishing
    22.09.2016

    This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretica...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. The Application of Formal Methods The Application of Formal Methods

    The Application of Formal Methods

    Augusto Sampaio
    Springer Nature Switzerland, Springer Nature Switzerland
    13.08.2024

    This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest colla...

    Taschenbuch
    70,61 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Tecnologias Digitais da Informação e Comunicação na Educação Tecnologias Digitais da Informação e Comunicação na Educação

    Tecnologias Digitais da Informação e Comunicação na Educação

    Gleydson Augusto Gomes Da Mata
    Novas Edições Acadêmicas
    08.05.2025

    Este trabalho acadêmico teve como problema norteador - De que forma os professores utilizam as TD...

    Taschenbuch
    43,90 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. An Algebraic Approach to Compiler Design An Algebraic Approach to Compiler Design

    An Algebraic Approach to Compiler Design

    Augusto Sampaio
    World Scientific Publishing Company
    19.04.1997

    This book investigates the design of compilers for procedural languages, based on the algebraic l...

    Gebunden
    88,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Testing Techniques in Software Engineering Testing Techniques in Software Engineering

    Testing Techniques in Software Engineering

    Paulo Borba
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events de...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 69,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Refinement Techniques in Software Engineering Refinement Techniques in Software Engineering

    Refinement Techniques in Software Engineering

    Ana Cavalcanti
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devo...

    Taschenbuch
    53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1