mehr als bücher

Grid  List

  1. Formal Development of Reactive Systems
    Formal Development of Reactive Systems
    Claus Lewerentz
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book is based upon work done under the project 'Correct Software through Formal Methods' sup...

    53,49 €*
  2. Interaktives Entwerfen großer Programmsysteme
    Interaktives Entwerfen großer Programmsysteme
    Claus Lewerentz
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Inhaltsangabe1. Einleitung.- 2. Modulkonzept.- 2.1 Modulklassen.- 2.2 Modulbeziehungen.- 2.3 Teil...

    54,99 €*
  3. Graph Transformations and Model-Driven Engineering
    Graph Transformations and Model-Driven Engineering
    Gregor Engels
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Manfred Nagl has been a very active, productive researcher with great impact in a number of di?er...

    106,99 €*
  1. 1