- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
[Wadern]
- (wer)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (wann)
-
[2007]
- Beteiligte Personen und Organisationen
-
Groote, Jan Friso
Mathijssen, Aad
Reniers, Michel
Usenko, Yaroslav
van Weerdenburg, Muck
- URN
-
urn:nbn:de:0030-drops-8626
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:47 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
- Groote, Jan Friso
- Mathijssen, Aad
- Reniers, Michel
- Usenko, Yaroslav
- van Weerdenburg, Muck
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Entstanden
- [2007]
Ähnliche Objekte (12)
The JCop language specification
Generating Formal Representations of System Specification from Natural Language Requirements
Specification of a specification language
Formal systems specification : the RPC-memory specification case study
Algebraic decoder specification: coupling formal-language theory and statistical machine translation
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The specification language SPECTRUM : core language report V1.0
Formal specification of CSCW applications
Formal specification : techniques and applications
The JCop language specification
Generating Formal Representations of System Specification from Natural Language Requirements
Specification of a specification language
Formal systems specification : the RPC-memory specification case study
Algebraic decoder specification: coupling formal-language theory and statistical machine translation
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The specification language SPECTRUM : core language report V1.0
Formal specification of CSCW applications
Formal specification : techniques and applications
The JCop language specification
Generating Formal Representations of System Specification from Natural Language Requirements
Specification of a specification language
Formal systems specification : the RPC-memory specification case study
Algebraic decoder specification: coupling formal-language theory and statistical machine translation
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
The Z formal specification notation : proceedings
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The specification language SPECTRUM : core language report V1.0
Formal specification of CSCW applications