Del 13
Thermomechanics Of Phase Transitions In Classical Field Theory
Ingo Claben, Hartmut Ehrig, A Romano, Dietmar Wolz
Inbunden
1 479 kr
Algebraic Specification Techniques And Tools For Software Development: The Act Approach
Inbunden, Engelska, 1993
Del 1 i serien Amast Series In Computing
1 009 kr
Tillfälligt slut
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
Recensioner i media
Innehållsförteckning
Hoppa över listan
Mer från samma serie
Del 3
Construction And Analysis Of Transition Systems With Mec
A Arnold, Didier Begay, P Crubille
Inbunden
1 133 kr
Del 2
Theories And Experiences For Real-time System Development
Charles Rattray, Teodor Rus
Inbunden
2 375 kr
Del 4
Del 5
Language Prototyping: An Algebraic Specification Approach
Jan Heering, Paul Klint, Arie Van Deursen
Inbunden
2 083 kr
Del 6
Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
Razvan Diaconescu, Kokichi Futatsugi
Inbunden
690 kr
Del 8
Real-time Systems: Modeling, Design And Applications
IONESCU DAN, Aurel Cornell, Dan Ionescu
Inbunden
2 716 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
2 716 kr
Del 2
Theories And Experiences For Real-time System Development
Charles Rattray, Teodor Rus
Inbunden
2 375 kr
Del 4
Del 7
Del 3
Construction And Analysis Of Transition Systems With Mec
A Arnold, Didier Begay, P Crubille
Inbunden
1 133 kr
Del 5
Language Prototyping: An Algebraic Specification Approach
Jan Heering, Paul Klint, Arie Van Deursen
Inbunden
2 083 kr
Del 6
Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
Razvan Diaconescu, Kokichi Futatsugi
Inbunden
690 kr
Del 13
Thermomechanics Of Phase Transitions In Classical Field Theory
Ingo Claben, Hartmut Ehrig, A Romano, Dietmar Wolz
Inbunden
1 479 kr
Aromatherapie in Wissenschaft und Praxis
Wolfgang Steflitsch, Dietmar Wolz, Gerhard Buchbauer, Eva Heuberger, Ingeborg Stadelmann
Inbunden
1 310 kr