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 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
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
Books by Hartmut Ehrig
Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 - Hartmut Ehrig
Formal Methods and Software Development ... Formal Methods and Software Development - Hartmut Ehrig
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th Compass Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers - Hartmut Ehrig
Fundamentals of Algebraic Specification ... Fundamentals of Algebraic Specification 2: Module Specifications and Constraints - Hartmut Ehrig, Bernd Mahr
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE) - Hartmut Ehrig
Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings - Hartmut Ehrig
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
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
Books by 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
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
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.