Formal Methods and Software DevelopmentHartmut Ehrig
Formal Methods and Software Development
Hartmut Ehrig · 1985
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1985
- שפה
- English
- הוצאה
- Springer-Verlag
- מהדורות
- 1
- ISBN
- 9780387151991
מקור הנתונים: Wikidata
עוד של 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