Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1986

Mathematical Methods of Specification and Synthesis of Software Systems '85

Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

Editors:

  1. Wolfgang Bibel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Klaus P. Jantke
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 215)

Conference series link(s): MMSSS: Int. Spring School on Mathematical Methods of Specification and Synthesis of Software Systems

Conference proceedings info: MMSSS 1985.

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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 (23 papers)

  1. Front Matter

    PDF

  3. Predicative programming revisited

    • W. Bibel
    Pages 25-40

  7. Natural mathematical texts VS. programs

    • T. Gergely, K. P. Vershinin
    Pages 83-100

  9. Approximation logic

    • Helena Rasiowa, Andrzej Skowron
    Pages 123-139

  13. One more property of array languages

    • Marek Ejsmont
    Pages 162-168

  14. Theoretical aspects of Σ-programming

    • Goncharov S. S., Sviridenko D. I.
    Pages 169-179

  15. Decidability in pratt's process logics

    • Z. HabasiÅ„ski
    Pages 180-184

  16. A program synthesis algorithm exemplified

    • Steffen Lange
    Pages 185-193

  18. Orientation problems on sequences by recursive functions

    • Péter Komjáth, Szabó Zsolt
    Pages 201-206

  20. Formalizing analogical reasoning

    • Dieter Pötschke
    Pages 215-218
Back to top

Other Volumes

  1. Mathematical Methods of Specification and Synthesis of Software Systems '85

Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Mathematical Methods of Specification and Synthesis of Software Systems '85

  • Book Subtitle: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

  • Editors: Wolfgang Bibel, Klaus P. Jantke

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-16444-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1986

  • Softcover ISBN: 978-3-540-16444-9Published: 01 June 1986

  • eBook ISBN: 978-3-540-39784-7Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 248

  • Topics: Programming Techniques

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation