Konferenzschrift | Kongress
Semantics of specification languages : (SoSL) ; proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540198543
3540198547
9780387198545
0387198547
- Maße
-
24 cm
- Umfang
-
VIII, 355 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Schlagwort
-
Spezifikationssprache
Semantik
- Ereignis
-
Veröffentlichung
- (wo)
-
London, Berlin, Heidelberg, New York, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (wer)
-
Springer
- (wann)
-
1994
- Beteiligte Personen und Organisationen
-
Andrews, Derek
Universiteit Utrecht
International Workshop on Semantics of Specification Languages (1 : 1993 : Utrecht)
- 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:16 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.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Andrews, Derek
- Universiteit Utrecht
- International Workshop on Semantics of Specification Languages (1 : 1993 : Utrecht)
- Springer
Entstanden
- 1994
Ähnliche Objekte (12)
Logics of specification languages
Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics
Symposium on semantics of algorithmic languages
The syntax and semantics of infinitary languages
Specification and semantics : 08.07. - 12.07.96
Complementizer semantics in European languages
The Semantics of nominalizations across languages and frameworks
Semantics of programming languages and algebra : 07.06. - 11.06.93
Specification Languages for Preserving Consistency between Models of Different Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Specification-oriented semantics for communicating processes
Process theory: semantics, specification and verification
Logics of specification languages
Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics
Symposium on semantics of algorithmic languages
The syntax and semantics of infinitary languages
Specification and semantics : 08.07. - 12.07.96
Complementizer semantics in European languages
The Semantics of nominalizations across languages and frameworks
Semantics of programming languages and algebra : 07.06. - 11.06.93
Specification Languages for Preserving Consistency between Models of Different Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Specification-oriented semantics for communicating processes
Process theory: semantics, specification and verification
Logics of specification languages
Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics
Symposium on semantics of algorithmic languages
The syntax and semantics of infinitary languages
Specification and semantics : 08.07. - 12.07.96
Complementizer semantics in European languages
The Semantics of nominalizations across languages and frameworks
Semantics of programming languages and algebra : 07.06. - 11.06.93
Specification Languages for Preserving Consistency between Models of Different Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Specification-oriented semantics for communicating processes