- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Electronic Notes in Theoretical Computer Science 1-4 SUPPL. (105): 147-158 (2004-12-10)
- Event
-
Veröffentlichung
- (where)
-
Hamburg
- (who)
-
Universitätsbibliothek der Technischen Universität Hamburg-Harburg
- (when)
-
2004
- Creator
- URN
-
urn:nbn:de:gbv:830-882.069915
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:50 AM CEST
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.
Associated
- Johnson, James E.
- Langworthy, David E.
- Lamport, Leslie
- Vogt, Friedrich H.
- Universitätsbibliothek der Technischen Universität Hamburg-Harburg
Time of origin
- 2004
Other Objects (12)
Formal methods for web services : advanced lectures
Formal description of web services for expressive matchmaking
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Towards a Specification-based Quality Guarantee for Geo Raster Web Services
Protocol and service specification with SDL : the X.25 case study
Web services and formal methods : 4th international workshop ; proceedings
Web services and formal methods : third international workshop ; proceedings
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
Formal methods for web services : advanced lectures
Formal description of web services for expressive matchmaking
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Towards a Specification-based Quality Guarantee for Geo Raster Web Services
Protocol and service specification with SDL : the X.25 case study
Web services and formal methods : 4th international workshop ; proceedings
Web services and formal methods : third international workshop ; proceedings
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
Formal methods for web services : advanced lectures
Formal description of web services for expressive matchmaking
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
Towards a Specification-based Quality Guarantee for Geo Raster Web Services
Protocol and service specification with SDL : the X.25 case study
Web services and formal methods : 4th international workshop ; proceedings
Web services and formal methods : third international workshop ; proceedings
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings