Del i serien Lecture Notes in Computer Science

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

Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Häftad, Engelska, 1985

AvHartmut Ehrig,Christiane Floyd,Maurice Nivat,James Thatcher

579 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1985-03-01
Mått155 x 235 x 24 mm
Vikt657 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor422
Upplaga1985
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540151982

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Diskret matematik inom Naturvetenskap och teknik

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.

Mer från samma författare

Kategorien und Automate

Hartmut Ehrig, Michael Pfender

Inbunden, 1972

2 089 kr

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

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

Häftad, 1985

699 kr

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari

Häftad, 1987

519 kr

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

Häftad, 1987

519 kr

Graph-Grammars and Their Application to Computer Science

Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld

Häftad, 1987

1 439 kr

Petri Net Technology for Communication-Based Systems

Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber

Häftad, 2003

719 kr

Integration of Software Specification Techniques for Applications in Engineering

Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper

Häftad, 2004

739 kr

Graph Transformations

Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg

Häftad, 2004

719 kr

Fundamentals of Algebraic Graph Transformation

Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer

Inbunden, 2006

1 769 kr

Graph Transformations

Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg

Häftad, 2006

719 kr

Mer från samma serie

Albert Cohen - Compiler Construction, Häftad

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

719 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

739 kr

Yehuda Lindell - Theory of Cryptography, Häftad

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

739 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

739 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 209 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

739 kr

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops, Häftad

Del 15401

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi

Häftad, 2025

959 kr

Del 16625

Web Engineering

Andrea Mauri, Lola Burgueño, Riccardo Tommasini

Häftad, 2026

1 099 kr

Du kanske också är intresserad av

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

Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

Häftad, 1985

699 kr

Fundamentals of Fiber Orientation

James Thatcher

Inbunden, 2025

2 689 kr

Military Journal During The American Revolutionary War, From 1775 To 1783 - Describing Interesting Events And Transactions Of This Period; With Numerous Historical Facts And Anecdotes, From The Original Manuscript

James Thatcher

Häftad, 2009

719 kr

CAAP '88

Max Dauchet, Maurice Nivat

Häftad, 1988

739 kr

Algebraic Methodology and Software Technology

Martin Wirsing, Maurice Nivat

Häftad, 1996

1 479 kr

Del 5

Feminist Challenges in the Information Age

Christiane Floyd, Govind Kelkar, Silvie Klein-Franke, Cheris Kramarae, Cirilia Limpangog

Häftad, 2002

719 kr

Software

Peter Schnupp, Christiane Floyd

Inbunden, 1979

2 059 kr

Algebraic Methodology and Software Technology

V.S. Alagar, Maurice Nivat

Häftad, 1995

1 429 kr

Stufen Zur Informationsgesellschaft

Christiane Floyd, Christian Fuchs, Wolfgang Hofkirchner

Häftad, 2002

1 269 kr

Software Development and Reality Construction

Christiane Floyd, Heinz Züllighoven, Reinhard Budde, Reinhard Keil-Slawik

Häftad, 2011

1 179 kr

Del i serien Lecture Notes in Computer Science

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

Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Häftad, Engelska, 1985

AvHartmut Ehrig,Christiane Floyd,Maurice Nivat,James Thatcher

579 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1985-03-01
Mått155 x 235 x 24 mm
Vikt657 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor422
Upplaga1985
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540151982

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Diskret matematik inom Naturvetenskap och teknik

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.