Hartmut Ehrig

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6)

Hartmut Ehrig

Out of Stock

Mathematical Foundations of Software Development (PROC OF INTL JOINT CONF...

Hartmut Ehrig

$59.99

Fundamentals of Algebraic Specifications 2: Module Specification and Constraints (E a T C S Monographs on Theoretical Computer Science)

Hartmut Ehrig

$60.35

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, ... (CSE) (Lecture Notes in Computer Scienc

Hartmut Ehrig

$69.99

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings (Lecture Notes in Computer Science)

Hartmut Ehrig

$16.99 - $60.03

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG). Final Report (Lecture Notes in Computer Science)

Hartmut Ehrig

$60.35

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced ... '87) (Lecture Notes in Computer Science)

Hartmut Ehrig

$54.68

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Hartmut Ehrig

$109.99

Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

Hartmut Ehrig

$109.99

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Hartmut Ehrig

$129.99

Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Hartmut Ehrig

$54.99

Mathematisch-strukturelle Grundlagen der Informatik (Springer-Lehrbuch)

Hartmut Ehrig

Out of Stock

Petri Net Technology for Communication-Based Systems: Advances in Petri Nets

Hartmut Ehrig

$60.03

Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings (Lecture Notes in Computer Science)

Hartmut Ehrig

$60.57

Graph and Model Transformation: General Framework and Applications

Hartmut Ehrig

$109.99

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : ... Development II and Colloquium on Functional a

Hartmut Ehrig

$49.99

Kategorien Und Automate

Hartmut Ehrig

Out of Stock