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