Thermomechanics Of Phase Transitions In Classical Field Theory
Wolz Dietmar Wolz, Romano A Romano, Ehrig Hartmut Ehrig, Claben Ingo Claben
E-bok
1993474 kr
Algebraic Specification Techniques And Tools For Software Development: The Act Approach
AvWolz Dietmar Wolz,Ehrig Hartmut Ehrig
E-bok
PDF, Engelska, 1993339 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies using algebraic specification languages and tools developed at TU Berlin.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Thermomechanics Of Phase Transitions In Classical Field Theory
Wolz Dietmar Wolz, Romano A Romano, Ehrig Hartmut Ehrig, Claben Ingo Claben
E-bok
1993474 kr
Handbook Of Graph Grammars And Computing By Graph Transformations, Vol 3: Concurrency, Parallelism, And Distribution
Montanari Ugo Montanari, Kreowski Hans-jorg Kreowski, Ehrig Hartmut Ehrig, Rozenberg Grzegorz Rozenberg
E-bok
1999867 kr
Current Trends In Theoretical Computer Science: Essays And Tutorials
Salomaa Arto Salomaa, Rozenberg Grzegorz Rozenberg, Hartmanis J Hartmanis, Gurevich Yuri Gurevich, Ehrig Hartmut Ehrig, Edelsbrunner Herbert Edelsbrunner
E-bok
1993884 kr
- Signerad!
Del 3
- Nyhet
Del 11
- Nyhet
Del 2
- Nyhet