Del 4
Del 1 i serien AMAST SERIES IN COMPUTING
ALGEBRAIC SPECIFICATION TECHNIQUES AND TOOLS FOR SOFTWARE DEVELOPMENT: THE ACT APPROACH
Inbunden, Engelska, 1993
1 229 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 3
CONSTRUCTION AND ANALYSIS OF TRANSITION SYSTEMS WITH MEC
A Arnold, D Bégay, P Crubillé
Inbunden, 1994
1 519 kr
Del 2
THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT
Charles Rattray, Teodor Rus, Teodor Rus, Charles Rattray
Inbunden, 1995
3 179 kr
Del 5
LANGUAGE PROTOTYPING: AN ALGEBRAIC SPECIFICATION APPROACH
A van Deursen, J Heering, P Klint
Inbunden, 1996
2 789 kr
Del 6
CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION
Razvan Diaconescu, Kokichi Futatsugi
Inbunden, 1998
879 kr
Del 8
REAL-TIME SYSTEMS: MODELING, DESIGN AND APPLICATIONS
IONESCU DAN, Dan Ionescu, Aurel Cornell
Inbunden, 2007
4 739 kr
Del 7
Hoppa över listan
Du kanske också är intresserad av
Graph and Model Transformation
Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann
Häftad, 2019
1 439 kr
Graph Transformations
Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
Häftad, 2010
729 kr
Graph Transformations
Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer
Häftad, 2008
749 kr
Recent Trends in Data Type Specification
Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel
Häftad, 1991
749 kr
Del 21
Fundamentals of Algebraic Specification 2
Hartmut Ehrig, Bernd Mahr, Hartmut Ehrig, Bernd Mahr
Häftad, 2011
719 kr
Mathematisch-strukturelle Grundlagen der Informatik
Hartmut Ehrig, Bernd Mahr, F. Cornelius, Martin Große-Rhode, P. Zeitz
Häftad, 2001
539 kr
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
Häftad, 1987
519 kr
Formal and Natural Computing
Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa
Häftad, 2002
749 kr
Graph Transformations
Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
Häftad, 2006
729 kr