Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 - Lecture Notes in Computer Science No. 185

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 - Lecture Notes in Computer Science No. 185

by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

Format: Paperback 418 pages

Available to order

Usually despatched in 2-3 weeks

6 Marketplace copies from £21.70

£26.99

Delivered FREE
in the UK

Add to basket

Check shop availability

Add to wish list

Synopsis

No synopsis provided

Book details

Published
01/03/1985

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K

ISBN
9783540151982


Add to basket

Add to wish list

Tell a friend


Other books by this author See all titles

Graph Grammars and Their Application to Computer Science: International Workshop, Williamsburg, VA, USA, November (13-18), 1994 - Selected Papers: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers - Lecture Notes in Computer Science v. 1073

Graph Grammars and Their Application to Computer Science: International Workshop, Williamsburg, VA, USA, November (13-18), 1994 - Selected Papers: 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers - Lecture Notes in Computer Science v. 1073

£72.00

Add to basket
Graph Grammars and Their Application to Computer Science: International Workshop Proceedings.H.Ehrig, etc 4th, 1990: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings - Lecture Notes in Computer Science v.532

Graph Grammars and Their Application to Computer Science: International Workshop Proceedings.H.Ehrig, etc 4th, 1990: 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings - Lecture Notes in Computer Science v.532

£81.00

Add to basket
Algebraic Methodology and Software Technology (AMAST '91): Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 - Workshops in Computing

Algebraic Methodology and Software Technology (AMAST '91): Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 - Workshops in Computing

£39.00

Add to basket
Recent Types 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 - Lecture Notes in Computer Science v. 785

Recent Types 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 - Lecture Notes in Computer Science v. 785

£40.99

Add to basket

This book can be found in...

Computing > Computer hardware and operating systems > Computer architecture and logic design

Reference and Languages > Encyclopaedias and reference > Reference works

Computing > Computer programming > Software engineering

The prices displayed are for website purchases only, and may differ to the prices in Waterstones stores.