Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (21 papers)
-
Front Matter
Bibliographic Information
Book Title: TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Book Subtitle: Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Editors: Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0014968
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1987
Softcover ISBN: 978-3-540-17611-4Published: 27 February 1987
eBook ISBN: 978-3-540-47717-4Published: 23 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 336
Topics: Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications