- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540516262
3540516263
9780387516264
0387516263
- Maße
-
25 cm
- Umfang
-
XIV, 350 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 327 - 342
- Schlagwort
-
Softwareentwicklung
Algebraische Spezifikation
Software-Engineering
Datentyp
Software Engineering
Datentyp
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong
- (wer)
-
Springer
- (wann)
-
1989
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Horebeek, Ivo van
- Lewi, Johan
- Springer
Entstanden
- 1989
Ähnliche Objekte (12)
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Algebraic specifications in an integrated software development and verification system
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Structured algebraic specifications : a kernel language
Initial computability, algebraic specifications, and partial algebras
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Certifying Software Component Performance Specifications
Development of communication protocols with algebraic temporal specifications
Algebraic domain equations for specifications containing inequational axioms
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Algebraic specifications in an integrated software development and verification system
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Structured algebraic specifications : a kernel language
Initial computability, algebraic specifications, and partial algebras
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Certifying Software Component Performance Specifications
Development of communication protocols with algebraic temporal specifications
Algebraic domain equations for specifications containing inequational axioms
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Algebraic specifications in an integrated software development and verification system
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Structured algebraic specifications : a kernel language
Initial computability, algebraic specifications, and partial algebras
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Certifying Software Component Performance Specifications
Development of communication protocols with algebraic temporal specifications