Del 4
ALGEBRAIC SPECIFICATION TECHNIQUES AND TOOLS FOR SOFTWARE DEVELOPMENT: THE ACT APPROACH
946 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.
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, D Bégay, P Crubillé
Inbunden, 1994
1 166 kr
Del 2
THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT
Charles Rattray, Teodor Rus, Teodor Rus, Charles Rattray
Inbunden, 1995
2 445 kr
Del 5
LANGUAGE PROTOTYPING: AN ALGEBRAIC SPECIFICATION APPROACH
A van Deursen, J Heering, P Klint
Inbunden, 1996
2 143 kr
Del 6
CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION
Razvan Diaconescu, Kokichi Futatsugi
Inbunden, 1998
676 kr
Del 8
REAL-TIME SYSTEMS: MODELING, DESIGN AND APPLICATIONS
IONESCU DAN, Dan Ionescu, Aurel Cornell
Inbunden, 2007
3 649 kr
Del 7
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Graph Transformations
Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
Häftad, 2010
556 kr
Graph Transformations
Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer
Häftad, 2008
572 kr
Mathematisch-strukturelle Grundlagen der Informatik
Philip Zeitz, Martin Groe-Rhode, Felix Cornelius, Bernd Mahr, Hartmut Ehrig
E-bok
2013542 kr
Petri Net Technology for Communication-Based Systems
Herbert Weber, Grzegorz Rozenberg, Wolfgang Reisig, Hartmut Ehrig
E-bok
2003712 kr
Graph Transformations
Grzegorz Rozenberg, Francesco Parisi-Presicce, Gregor Engels, Hartmut Ehrig
E-bok
2004718 kr
Integration of Software Specification Techniques for Applications in Engineering
Engelbert Westkamper, Eckehard Schnieder, Wolfgang Reif, Martin Groe-Rhode, Jorg Desel, Werner Damm, Hartmut Ehrig
E-bok
2011739 kr
Mathematisch-strukturelle Grundlagen der Informatik
Hartmut Ehrig, Bernd Mahr, F. Cornelius, Martin Große-Rhode, P. Zeitz
Häftad, 2001
417 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
403 kr
Formal and Natural Computing
Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa
Häftad, 2002
572 kr