- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540555681
3540555684
9780387555683
0387555684
- Dimensions
-
25 cm
- Extent
-
228 S.
- Notes
-
graph. Darst.
Beitr. teilw. dt., teilw. engl. - Literaturangaben
- Keyword
-
Verteiltes System
Formale Spezifikationstechnik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1992
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:51 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Aufsatzsammlung
Associated
Time of origin
- 1992
Other Objects (12)
Formal systems specification : the RPC-memory specification case study
Formal languages and applications
Formal modelling in electronic commerce
Formal methods in human computer interaction
Formal syntax and semantics of Java
Industrial strength formal methods in practice
New developments in formal languages and applications
Non-formal and community learning for sustainable development
Applying fuzzy mathematics to formal models in comparative politics
Diplomacy games : formal models and international negotiations ; with 42 tables
Economic evolution and demographic change : formal models in social sciences
Special issue: systems medicine
Formal systems specification : the RPC-memory specification case study
Formal languages and applications
Formal modelling in electronic commerce
Formal methods in human computer interaction
Formal syntax and semantics of Java
Industrial strength formal methods in practice
New developments in formal languages and applications
Non-formal and community learning for sustainable development
Applying fuzzy mathematics to formal models in comparative politics
Diplomacy games : formal models and international negotiations ; with 42 tables
Economic evolution and demographic change : formal models in social sciences
Special issue: systems medicine
Formal systems specification : the RPC-memory specification case study
Formal languages and applications
Formal modelling in electronic commerce
Formal methods in human computer interaction
Formal syntax and semantics of Java
Industrial strength formal methods in practice
New developments in formal languages and applications
Non-formal and community learning for sustainable development
Applying fuzzy mathematics to formal models in comparative politics
Diplomacy games : formal models and international negotiations ; with 42 tables
Economic evolution and demographic change : formal models in social sciences