Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Berlin, March 1985: Volume 1: Colloquium on Trees in Algebra and Programming (Caap'85) by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1985)

Be the first to write a review

About this product

Stock photo

Brand new: lowest price

£63.26

Free postage

Get it by Mon, 2 Jul - Thu, 19 Jul from New York, United States

• New condition
• 30 day returns - Buyer pays return postage | Returns policy

Proceedings Of The International Joint Conference On Theory And Practice Of So. Format: Paperback. Software Engineering. Number Of Pages Country Of Origin Product Details. Publication Date.

Read full description

Qty:

Sold bygrey_elk_books_au_and_uk (86834)99.7% positive FeedbackContact seller

Registered as business seller

About this product

Key Features

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Date of Publication
01/03/1985
Language(s)
English
Format
Paperback
ISBN-10
3540151982
ISBN-13
9783540151982
Genre
Computing: Textbooks & Study Guides
Series Title
Lecture Notes in Computer Science
Series Part/Volume Number
No. 185
eBay Product ID (ePID)
88536629

Publication Data

Place of Publication
Berlin
Country of Publication
Germany
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Content Note
biography

Dimensions

Weight
1340 g
Width
156 mm
Height
234 mm
Spine
22 mm
Pagination
440

Credits

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

Editorial Details

Format Details
Trade paperback (US)
Edition Statement
1985 ed.

Description

Table Of Contents
Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.- Inductively defined functions.- Three approaches to type structure.- On the maximum size of random trees.- Fast searching in a real algebraic manifold with applications to geometric complexity.- Typed categorical combinatory logic.- A path ordering for proving termination of term rewriting systems.- A rewrite rule based approach for synthesizing abstract data types.- Delayability in proofs of strong normalizability in the typed lambda Calculus.- Bisimulations and abstraction homomorphisms.- A metric characterization of fair computations in CCS.- A complete modal proof system for a subset of SCCS.- Amalgamation of graph transformations with applications to synchronization.- Decompilation of control structures by means of graph transformations.- Synchronized bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics.

No ratings or reviews yet

Be the first to write a review

Best-selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best-selling in Adult Learning & University

English Grammar in Use Book with Answers: A Self-Study Reference and Practice Book for Intermediate Learners of English by Raymond Murphy (Paperback, 2012)
(43)
£16.49 New
£13.96 Used
Get into Medical School - 1250 UKCAT Practice Questions. Includes Full Mock Exam by Laetitia Tighlit, Olivier Picard, Sami Tighlit (Paperback, 2017)
(4)
£14.21 New
£6.95 Used
The Official Cambridge Guide to IELTS Student's Book with Answers with DVD-ROM by Vanessa Jakeman, Amanda French, Pauline Cullen,
(12)
£16.80 New
£16.07 Used
Essential Grammar in Use with Answers: A Self-Study Reference and Practice Book for Elementary Learners of English by Raymond Murphy (Paperback, 2015)
(16)
£18.52 New
£16.09 Used
Safety at Street Works and Road Works: A Code of Practice by Great Britain: Department for Transport (Spiral bound, 2013)
(6)
£8.90 New
£4.02 Used
Health, Safety and Environment Test for Managers and Professionals: Gt 200/17: 2017 by Construction Industry Training Board (CITB) (Paperback, 2017)
(4)
£2.95 New
---- Used
AQA Psychology for A Level Year 1 & AS - Revision Guide by Cara Flanagan, Rob Liddle, Dave Berry, Michael Griffin (Paperback, 2016)
(24)
£8.00 New
£8.00 Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

On-site Guide (bs 7671:2008+a3:2015) The Iet 9781849198875 (spiral-bound) BS7671
£16.90
Trending at £22.33
CAMBRIDGE English Grammar in Use for intermediate forth Edition with answers New
£16.49
Trending at £16.78
AQA Psychology for A Level Year 1 & AS - Revision Guide 9781908682444 Latest ed.
£11.90
Trending at £12.09
CAMBRIDGE GRAMMAR FOR IELTS SELF-STUDY AND PRACTICE WITH ANSWERS AND AUDIO CD
£16.50
Trending at £17.39
The City & Guilds Textbook: Level 3 Diploma in Electrical Install...
£25.55
Trending at £27.74
OL27 North Yorkshire Moors Eastern Area Ordnance Survey Explorer Map OL 27
£6.89
Trending at £7.83

Shop by category

Brand new: lowest price

£63.26

About this product

Key Features

Publication Data

Dimensions

Credits

Editorial Details

Description

Best-selling in Adult Learning & University

English Grammar in Use Book with Answers: A Self-Study Reference and Practice Book for Intermediate Learners of English by Raymond Murphy (Paperback, 2012)

Get into Medical School - 1250 UKCAT Practice Questions. Includes Full Mock Exam by Laetitia Tighlit, Olivier Picard, Sami Tighlit (Paperback, 2017)

The Official Cambridge Guide to IELTS Student's Book with Answers with DVD-ROM by Vanessa Jakeman, Amanda French, Pauline Cullen,

Essential Grammar in Use with Answers: A Self-Study Reference and Practice Book for Elementary Learners of English by Raymond Murphy (Paperback, 2015)

Safety at Street Works and Road Works: A Code of Practice by Great Britain: Department for Transport (Spiral bound, 2013)

Health, Safety and Environment Test for Managers and Professionals: Gt 200/17: 2017 by Construction Industry Training Board (CITB) (Paperback, 2017)

AQA Psychology for A Level Year 1 & AS - Revision Guide by Cara Flanagan, Rob Liddle, Dave Berry, Michael Griffin (Paperback, 2016)

Save on Adult Learning & University

On-site Guide (bs 7671:2008+a3:2015) The Iet 9781849198875 (spiral-bound) BS7671

CAMBRIDGE English Grammar in Use for intermediate forth Edition with answers New

AQA Psychology for A Level Year 1 & AS - Revision Guide 9781908682444 Latest ed.

CAMBRIDGE GRAMMAR FOR IELTS SELF-STUDY AND PRACTICE WITH ANSWERS AND AUDIO CD

The City & Guilds Textbook: Level 3 Diploma in Electrical Install...

OL27 North Yorkshire Moors Eastern Area Ordnance Survey Explorer Map OL 27

You may also like

25 1985 Car Sales Brochures

Campervans 1985

Server, Development & DBMS Software

Berlin 1 German & Colonies Stamps

Developer/Test Computer Software

Berlin Used Handstamped Stamps