Del 13
Thermomechanics Of Phase Transitions In Classical Field Theory
Ingo Claben, Hartmut Ehrig, A Romano, Dietmar Wolz
Inbunden, 1993
1 639 kr
Del 1 i serien Amast Series In Computing
Algebraic Specification Techniques And Tools For Software Development: The Act Approach
Inbunden, Engelska, 1993
1 189 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum1993-11-01
- Mått162 x 223 x 19 mm
- Vikt485 g
- FormatInbunden
- SpråkEngelska
- SerieAmast Series In Computing
- Antal sidor256
- FörlagWorld Scientific Publishing Co Pte Ltd
- ISBN9789810212278
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 4
Del 3
Construction And Analysis Of Transition Systems With Mec
A Arnold, Didier Begay, P Crubille
Inbunden, 1994
1 449 kr
Del 2
Theories And Experiences For Real-time System Development
Charles Rattray, Teodor Rus
Inbunden, 1995
3 039 kr
Del 5
Language Prototyping: An Algebraic Specification Approach
Jan Heering, Paul Klint, Arie Van Deursen
Inbunden, 1996
2 229 kr
Del 6
Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
Razvan Diaconescu, Kokichi Futatsugi
Inbunden, 1998
889 kr
Del 8
Real-time Systems: Modeling, Design And Applications
IONESCU DAN, Aurel Cornell, Dan Ionescu
Inbunden, 2007
3 529 kr
Del 7
Hoppa över listan
Du kanske också är intresserad av
Del 8
Real-time Systems: Modeling, Design And Applications
IONESCU DAN, Aurel Cornell, Dan Ionescu
Inbunden, 2007
3 529 kr
Del 2
Theories And Experiences For Real-time System Development
Charles Rattray, Teodor Rus
Inbunden, 1995
3 039 kr
Del 4
Del 7
Del 3
Construction And Analysis Of Transition Systems With Mec
A Arnold, Didier Begay, P Crubille
Inbunden, 1994
1 449 kr
Del 5
Language Prototyping: An Algebraic Specification Approach
Jan Heering, Paul Klint, Arie Van Deursen
Inbunden, 1996
2 229 kr
Del 6
Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
Razvan Diaconescu, Kokichi Futatsugi
Inbunden, 1998
889 kr
Del 13
Thermomechanics Of Phase Transitions In Classical Field Theory
Ingo Claben, Hartmut Ehrig, A Romano, Dietmar Wolz
Inbunden, 1993
1 639 kr
Aromatherapie in Wissenschaft und Praxis
Wolfgang Steflitsch, Dietmar Wolz, Gerhard Buchbauer, Eva Heuberger, Ingeborg Stadelmann
Inbunden, 2024
1 679 kr