Del 1

Algebraic Specification Techniques And Tools For Software Development: The Act Approach

Inbunden, Engelska, 1993

Av Ingo Claben, Hartmut Ehrig, Dietmar Wolz, EHRIG H

1 319 kr

Tillfälligt slut
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

Mer från samma författare

Thermomechanics Of Phase Transitions In Classical Field Theory
Del 13

Thermomechanics Of Phase Transitions In Classical Field Theory

Ingo Claben, Hartmut Ehrig, A Romano, Dietmar Wolz, ROMANO A, A. Romano

1 889 kr

Du kanske också är intresserad av

Real-time Systems: Modeling, Design And Applications
Del 8

Real-time Systems: Modeling, Design And Applications

IONESCU DAN, Aurel Cornell, Dan Ionescu, Usa) Cornell, Aurel (Brigham Young Univ, Canada) Ionescu, Dan (Univ Of Ottawa

3 979 kr

Theories And Experiences For Real-time System Development
Del 2

Theories And Experiences For Real-time System Development

Charles Rattray, Teodor Rus, RUS TEODOR

3 099 kr

Algebraic Approach To Compiler Design, An
Del 4

Algebraic Approach To Compiler Design, An

Augusto Sampaio, SAMPAIO A

1 809 kr

Formal Models Of Computation: The Ultimate Limits Of Computing
Del 7

Formal Models Of Computation: The Ultimate Limits Of Computing

Arthur C Fleck, Usa) Fleck, Arthur C (Univ Of Iowa, Arthur C. Fleck, FLECK ARTHUR

1 809 kr

Construction And Analysis Of Transition Systems With Mec
Del 3

Construction And Analysis Of Transition Systems With Mec

A Arnold, Didier Begay, P Crubille, ARNOLD A

1 479 kr

Language Prototyping: An Algebraic Specification Approach
Del 5

Language Prototyping: An Algebraic Specification Approach

Jan Heering, Paul Klint, Arie Van Deursen, DEURSEN A VAN, Arie van Deursen

2 719 kr

Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
Del 6

Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification

Razvan Diaconescu, Kokichi Futatsugi, DIACONESCU RAZVAN

879 kr

Thermomechanics Of Phase Transitions In Classical Field Theory
Del 13

Thermomechanics Of Phase Transitions In Classical Field Theory

Ingo Claben, Hartmut Ehrig, A Romano, Dietmar Wolz, ROMANO A, A. Romano

1 889 kr

Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 3: Concurrency, Parallelism, And Distribution

Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 3: Concurrency, Parallelism, And Distribution

EHRIG H, Grzegorz Rozenberg, Hartmut Ehrig, Hans-jorg Kreowski, Ugo Montanari, The Netherlands) Rozenberg, Grzegorz (Univ Of Leiden, Germany) Ehrig, Hartmut (Technical Univ Of Berlin, Germany) Kreowski, Hans-jorg (Univ Of Bremen, Italy) Montanari, Ugo (Univ Of Pisa, Hans-Jorg Kreowski

2 579 kr

Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 2: Applications, Languages And Tools

Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 2: Applications, Languages And Tools

EHRIG H, Grzegorz Rozenberg, The Netherlands) Rozenberg, Grzegorz (Univ Of Leiden

5 349 kr