- Sprache
-
Englisch
- Umfang
-
XVI, 581 S.
- Maße
-
25 cm
- Anmerkungen
-
graph. Darst.
Literaturangaben
- ISBN
-
9783642173356
3642173357
9783642440656
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Schlagwort
-
Algebraische Spezifikation
Softwarespezifikation
Softwareentwicklung
Formale Methode
- Urheber
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg
- (wer)
-
Springer
- (wann)
-
2012
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:14 MEZ
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
- Sannella, Donald
- Tarlecki, Andrzej
- Springer
Entstanden
- 2012
Ähnliche Objekte (12)
Algebraic foundations of systems specification
Algebraic specification
A constructive method for abstract algebraic software specification
Formal foundations for software engineering methods
Algebraic decoder specification: coupling formal-language theory and statistical machine translation
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
Formal Specification and Rule-Based Refinement of Software Components
Tensor categorical foundations of algebraic geometry
Algebraic theory of modular specification development
Algebraic specification concepts for modular systems
Algebraic specification of semantic domain constructions
Algebraic specification of semantic domain constructions
Algebraic foundations of systems specification
Algebraic specification
A constructive method for abstract algebraic software specification
Formal foundations for software engineering methods
Algebraic decoder specification: coupling formal-language theory and statistical machine translation
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
Formal Specification and Rule-Based Refinement of Software Components
Tensor categorical foundations of algebraic geometry
Algebraic theory of modular specification development
Algebraic specification concepts for modular systems
Algebraic specification of semantic domain constructions
Algebraic specification of semantic domain constructions
Algebraic foundations of systems specification
Algebraic specification
A constructive method for abstract algebraic software specification
Formal foundations for software engineering methods
Algebraic decoder specification: coupling formal-language theory and statistical machine translation
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
Formal Specification and Rule-Based Refinement of Software Components
Tensor categorical foundations of algebraic geometry
Algebraic theory of modular specification development
Algebraic specification concepts for modular systems
Algebraic specification of semantic domain constructions