logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra an... - Hartmut Ehrig, Robert Kowalski, Giorgio Levi
Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra an...
by: (author) (author) (author)
Format: paperback
ISBN: 9783540176602 (3540176608)
Publisher: Springer
Pages no: 294
Edition language: English
Bookstores:
Books by Giorgio Levi
Algebraic and Logic Programming: 4th International Conference, Alp '94, Madrid, Spain, September 14-16, 1994. Proceedings - G. Levi, Giorgio Levi
Advances In Logic Programming Theory - Giorgio Levi
Verification, Model Checking, and Abstra... Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004 Venice, Italy, January 2004 Proceedings - Bernhard Steffen, Giorgio Levi
Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra an... - Hartmut Ehrig, Robert Kowalski, Giorgio Levi
Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings - Giorgio Levi
Logic Programming: The 6th International... Logic Programming: The 6th International Conference - Giorgio Levi, Maurizio Martelli
Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings (Lecture Notes in Computer Science) - Giorgio Levi, Mario Rodriguez-Artalejo
Algebraic And Logic Programming: 4th Int... Algebraic And Logic Programming: 4th International Conference, Alp '94, Madrid, Spain, September 14 16, 1994: Proceedings - G. Levi, Giorgio Levi
TAPSOFT '87, Proceedings of the Internat... TAPSOFT '87, Proceedings of the International: Advanced Seminar on Foundations, Vol. 2 - Hartmut Ehrig, Giorgio Levi, R. A. Kowalski, Ugo Montanari
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings (Lecture Notes in Computer Science) - Bernhard Steffen, Giorgio Levi
Books by Hartmut Ehrig
Graph Transformations: Second International Conference, Icgt 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings - Hartmut Ehrig
Fundamentals of Algebraic Graph Transformation - Hartmut Ehrig, Karsten Ehrig, Ulrike Prange
Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra an... - Hartmut Ehrig, Robert Kowalski, Giorgio Levi
Graph Transformation: 6th International Conference, Icgt 2012, Bremen, Germany, September 24-29, 2012, Proceedings - Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski
Recent Trends in Data Type Specification... Recent Trends in Data Type Specification - Hartmut Ehrig, Fernando Orejas
Fundamentals of Algebraic Specification ... Fundamentals of Algebraic Specification 2: Module Specifications and Constraints: v. 2 (Monographs in Theoretical Computer Science. An EATCS Series) - Hartmut Ehrig, Bernd Mahr
Fundamentals Of Algebraic Specification - Hartmut Ehrig, Bernd Mahr
Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez of the German Research Foundation (Dfg) Final Report - Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
Handbook Of Graph Grammars And Computing By Graph Transformations: Concurrency, Parallelism, And Distribution - Hartmut Ehrig
Graph Transformations In Computer Science: International Workshop, Dagstuhl Castle, Germany, January 4 8, 1993: Proceedings - Hans J. Schneider, Hartmut Ehrig
Books by Robert Kowalski
Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra an... - Hartmut Ehrig, Robert Kowalski, Giorgio Levi
New 8 Week Cholesterol Cure - Robert Kowalski
Logic Programming: Proceedings Of The Fi... Logic Programming: Proceedings Of The Fifth International Conference And Symposium - Robert Kowalski
The Blood Pressure Cure - Robert Kowalski
Eight Week Cholesterol Cure - Robert Kow... Eight Week Cholesterol Cure - Robert Kowalski
Computational Logic and Human Thinking: How to Be Artificially Intelligent - Robert Kowalski
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.