logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
TAPSOFT '87, Proceedings of the International: Advanced Seminar on Foundations, Vol. 2 - Hartmut Ehrig, Giorgio Levi, R. A. Kowalski, Ugo Montanari
Add cover
TAPSOFT '87, Proceedings of the International: Advanced Seminar on Foundations, Vol. 2
by: (author) (author) (author) (author)
Format: hardcover
ISBN: 9780387176116 (038717611X)
Publisher: Springer-Verlag New York, LLC
Pages no: 336
Edition language: English
Bookstores:
Books by Ugo Montanari
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers - Andrea Corradini, Ugo Montanari
System Development and Ada: CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings (Lecture Notes in Computer Science) - A. Nico Habermann, Ugo Montanari
Principles And Practice Of Constraint Programming Cp '95: First International Conference, Cp 95, Cassis, France, September 19 22, 1995: Proceedi (Lecture Notes In Computer Science) - Ugo Montanari, Francesca Rossi
Handbook of Graph Grammars and Computing... Handbook of Graph Grammars and Computing by Graph Transformations, Vol 3: Concurrency, Parallelism, and Distribution - Ugo Montanari, Hans-Jorg Kreowski
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
Principles and Practice of Constraint Pr... Principles and Practice of Constraint Programming - CP '95: First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings: ... Fra (Lecture Notes in Computer Science) - Ugo Montanari, Francesca Rossi
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
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
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
Books by R. A. Kowalski
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
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.