Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Author :
Publisher : Springer
Total Pages : 436
Release :
ISBN-10 : 3540151982
ISBN-13 : 9783540151982
Rating : 4/5 (982 Downloads)

Book Synopsis Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 by : Hartmut Ehrig

Download or read book Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 written by Hartmut Ehrig and published by Springer. This book was released on 1985-03-01 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Related Books

Alan Turing
Language: en
Pages: 937
Authors: S. Barry Cooper
Categories: Mathematics
Type: BOOK - Published: 2013-03-18 - Publisher: Elsevier

DOWNLOAD EBOOK

In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best
General physics, relativity, astronomy and mathematical physics and methods
Language: en
Pages: 838
Authors:
Categories: Nuclear physics
Type: BOOK - Published: 1986 - Publisher:

DOWNLOAD EBOOK

Logic from Computer Science
Language: en
Pages: 607
Authors: Yiannis N. Moschovakis
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Com