Formal Methods and Software DevelopmentHartmut Ehrig

Formal Methods and Software Development

Hartmut Ehrig · 1986

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 1986
Language: English
Publisher: Springer
Editions: 1
Pages: 476
ISBN: 9783540151999

Data source: Wikidata

More by Hartmut Ehrig

Fundamentals of algebraic graph transformationHartmut Ehrig

Fundamentals of algebraic graph transformation

Hartmut Ehrig · 2006

Integration of software specification techniques for applications in engineeringHartmut Ehrig

Integration of software specification techniques for applications in engineering

Hartmut Ehrig · 2004

Graph grammars and their application to computer scienceHartmut Ehrig

Graph grammars and their application to computer science

Hartmut Ehrig · 1991

Fundamentals of Algebraic Specification 2Hartmut Ehrig

Fundamentals of Algebraic Specification 2

Hartmut Ehrig · 1990

Fundamentals of Algebraic Specification 1Hartmut Ehrig

Fundamentals of Algebraic Specification 1

Hartmut Ehrig · 1985

Graph and Model TransformationHartmut Ehrig

Graph and Model Transformation

Hartmut Ehrig · 2015

Graph TransformationsHartmut Ehrig

Graph Transformations

Hartmut Ehrig · 2012

Graph Transformations Lecture Notes in Computer ScienceHartmut Ehrig

Graph Transformations Lecture Notes in Computer Science

Hartmut Ehrig · 2008

Formal methods in software and systems modelingHartmut Ehrig

Formal methods in software and systems modeling

Hartmut Ehrig · 2005

Petri net technology for communication-based systemsHartmut Ehrig

Petri net technology for communication-based systems

Hartmut Ehrig · 2004