Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "algebraic specification"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Showing
1
-
20
of
172
Search:
'"algebraic specification"'
,
query time: 0.07s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Semantics and
Algebraic
Specification
: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Published 2009
Springer Berlin Heidelberg
Read Now
2
Algebraic
Specifications
in Software Engineering : An Introduction
by
Horebeek, Ivo Van
,
Lewi, Johan
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
...2.19 Bibliographic Notes -- 3. An
Algebraic
Specif
ication Language -- 3.1 Modularity -- 3.2...
”
Read Now
3
Fundamentals of
Algebraic
Specification
1 : Equations and Initial Semantics
by
Ehrig, Hartmut
,
Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
“
...The aim of this book is to present fundamentals of
algebraic
specifications
with respect...
”
Read Now
4
Fundamentals of
Algebraic
Specification
2 : Module Specifications and Constraints
by
Ehrig, Hartmut
,
Mahr, Bernd
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... for Abstract Modules and Modular Systems -- 1D: Informal Introduction to
Algebraic
Specification
of Modules...
”
Read Now
5
Algebraic
Specification
Techniques in Object Oriented Programming Environments
Published 1991
Springer
Read Now
6
Nondeterminism in
Algebraic
Specifications
and Algebraic Programs
by
Hussmann
Published 1993
Birkhäuser
Table of Contents:
“
...: Nondeterministic
Algebraic
Specifications
-- 1.1 Nondeterministic Algebras -- 1.2 Inclusion Rules as a...
”
Read Now
7
Algebraic
Specification
Techniques in Object Oriented Programming Environments
by
Breu, Ruth
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
...An integrated environment of classes and
algebraic
specifications
— Basic notions and concepts -- A...
”
Read Now
8
Foundations of
Algebraic
Specification
and Formal Software Development
by
Sannella, Donald
,
Tarlecki, Andrzej
Published 2012
Springer Berlin Heidelberg
“
... the perspective of work on
algebraic
specification
, concentrating on developing basic concepts and studying...
”
Read Now
9
CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language
by
Mosses, Peter D
Published 2004
Springer Berlin Heidelberg
Read Now
10
Software Engineering with OBJ : Algebraic Specification in Action
Published 2000
Springer US
“
...Software Engineering with OBJ:
Algebraic
Specification
in Action is a comprehensive introduction...
”
Read Now
11
CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language
Published 2004
Springer Berlin Heidelberg
“
...CASL, the Common
Algebraic
Specification
Language, was designed by the members of CoFI, the Common...
”
Read Now
12
CASL User Manual : Introduction to Using the Common Algebraic Specification Language
by
Bidoit, Michel
Published 2004
Springer Berlin Heidelberg
Read Now
13
CASL User Manual : Introduction to Using the Common Algebraic Specification Language
by
Bidoit, Michel
,
Mosses, Peter D.
Published 2004
Springer Berlin Heidelberg
“
...CASL, the Common
Algebraic
Specification
Language, was designed by the members of CoFI, the Common...
”
Read Now
14
Logic and Computation
by
Diaconescu, Răzvan
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects:
“
...
algebraic
specification
...
”
Read Now
15
Recent Trends in Data Type Specification : 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
...Categorical Semantics, Or Extending Data Types to Include Memory --
Algebraic
(?)
Specification
...
”
Read Now
16
Algebraic Methods: Theory, Tools and Applications
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
...
Algebraic
specification
a step towards future software engineering -- How to make
algebraic
...
”
Read Now
17
Algebraic Foundations of Systems Specification
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... and Their Refinements -- Object Specification --
Algebraic
Specification
of Concurrent Systems -- Formalization...
”
Read Now
18
Algebraic System Specification and Development : A Survey and Annotated Bibliography
Published 1991
Springer Berlin Heidelberg
“
...Methods for the
algebraic
specification
of abstract data types were proposed in the early 1970...
”
Read Now
19
Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected P...
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
...
Algebraic
specification
of concurrency -- Objects and their specification -- The use of sorts...
”
Read Now
20
Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Select...
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... -- On the role of category theory in the area of
algebraic
specifications
-- Unification of theories: A challenge...
”
1
2
3
4
5
6
7
8
9
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
89
004 - Data processing & computer science
47
040 - [Unassigned]
15
006 - Special computer methods
9
512 - Algebra
4
518 - Numerical analysis
3
more ...
003 - Systems
2
510 - Mathematics
2
000 - Computer science, information & general works
1
380 - Commerce, communications & transportation
1
500 - Natural sciences & mathematics
1
511 - General principles of mathematics
1
514 - Topology
1
519 - Probabilities & applied mathematics
1
621 - Applied physics
1
700 - The arts; fine & decorative arts
1
see all ...
less ...
Language
English
166
German
4
Collection
Springer Book Archives -2004
129
Springer eBooks 2005-
38
Lecture Notes in Computer Science
2
Directory of Open Access Books
1
OECD Books and Papers
1
Springer Lecture Notes Archiv 1964-1996
1
Author
Ehrig, Hartmut
9
Kreowski, Hans-Jörg
7
Nivat, Maurice
6
Orejas, Fernando
6
Bidoit, Michel
5
Broy, Manfred
5
more ...
Rozenberg, Grzegorz
5
Wirsing, Martin
5
Alagar, V.S.
3
Bjørner, Dines
3
Jouannaud, Jean-Pierre
3
Mosses, Peter D.
3
Wechler, Wolfgang
3
Astesiano, Egidio
2
Bergstra, Jan A.
2
Budach, Lothar
2
Choffrut, Christian
2
Choppy, Christine
2
Dauchet, Max
2
Diaconescu, Răzvan
2
Finkel, Alain
2
Floyd, Christiane
2
Heckel, Reiko
2
Heering, Jan
2
Jantzen, Matthias
2
Jones, Cliff B.
2
Kaplan, Stephane
2
Kirchner, Claude
2
Kirchner, Helene
2
Krieg-Brückner, Bernd
2
Lescanne, Pierre
2
Levi, Giorgio
2
Liu, Zhiming
2
Mahr, Bernd
2
Meinke, Karl
2
Meseguer, José
2
Montanari, Ugo
2
Mosses, Peter
2
Mosses, Peter D
2
Nori, Kesav V.
2
Periyasamy, K.
2
Rattray, Charles
2
Reggio, Gianna
2
Roggenbach, Markus
2
Sannella, Donald
2
Thatcher, James
2
Wing, Jeannette M.
2
Abrial, Jean-Raymond
1
Agha, Gul A.
1
Anderson, William P.
1
Araki, Keijiro
1
Astesiano, E.
1
Ausiello, Giorgio
1
Baaz, Matthias
1
Baeten, Joseph C.M.
1
Bakker, J. W. de
1
Barais, Olivier
1
Baresi, Luciano
1
Bartosek, Miroslav
1
Bauer, Friedrich L.
1
Beckmann, Arnold
1
Belady, L.A.
1
Bensalem, Saddek
1
Berger, Ulrich
1
Berry, Gerard
1
Bert, Didier
1
Blum, E.K.
1
Bodart, Francois
1
Boer, Frank S.de
1
Bonsangue, Marcello
1
Bossi, Annalisa
1
Bowen, Jonathan P.
1
Bozapalidis, Symeon
1
Brandenburg, Franz J.
1
Brauer, W.
1
Brauer, Wilfried
1
Breitman, Karin
1
Breu, Ruth
1
Broy, M.
1
Bruynooghe, Maurice
1
Bukharajev, Rais G.
1
Böhm, C.
1
Börger, Egon
1
Calmet, J.
1
Calmet, Jacques
1
Campbell, John A.
1
Cardelli, Luca
1
Cavalcanti, Ana
1
Cerioli, Maura
1
Cerone, Antonio
1
Cha, Sungdeok
1
Chlebus, Bogdan S.
1
Choi, Jin-Young
1
Chytil, M.
1
Ciancarini, Paolo
1
Codescu, Mihai
1
Combemale, Benoit
1
Comon, Hubert
1
Comon-Lundh, Hubert
1
Cori, Robert
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22algebraic+specification%22&type=AllFields
Send by Email
×
Loading...