Konferenzschrift | Kongress
Formal techniques for networked and distributed systems : 28th IFIP WG 6.1 international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540688549
- Dimensions
-
24 cm
- Extent
-
XI, 339 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 5048
- Keyword
-
Verteiltes System
Formale Methode
Rechnernetz
Softwarespezifikation
Formale Spezifikationstechnik
Softwaretest
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2008
- 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.06.2025, 1:54 PM 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.
Object type
- Konferenzschrift
- Kongress
Associated
- Suzuki, Kenji
- FORTE (28 : 2008 : Tokio)
- Springer
Time of origin
- 2008
Other Objects (12)
Formal techniques for networked and distributed systems : 22nd IFIP WG 6.1 international conference ; proceedings
Formal techniques for networked and distributed systems : 27th IFIP WG 6.1 international conference ; proceedings
Formal techniques for networked and distributed systems : 23rd IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd IFIP WG 6.1 international conference ; proceedings
Open and social technologies for networked learning : IFIP WG 3.4 international conference ; revised selected papers
Data and applications security and privacy XXVIII : 28th Annual IFIP WG 11.3 working conference ; proceedings
Distributed applications and interoperable systems : 10th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 11th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 13th IFIP WG 6.1 international conference ; proceedings
Formal techniques for networked and distributed systems : 22nd IFIP WG 6.1 international conference ; proceedings
Formal techniques for networked and distributed systems : 27th IFIP WG 6.1 international conference ; proceedings
Formal techniques for networked and distributed systems : 23rd IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd IFIP WG 6.1 international conference ; proceedings
Open and social technologies for networked learning : IFIP WG 3.4 international conference ; revised selected papers
Data and applications security and privacy XXVIII : 28th Annual IFIP WG 11.3 working conference ; proceedings
Distributed applications and interoperable systems : 10th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 11th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 13th IFIP WG 6.1 international conference ; proceedings
Formal techniques for networked and distributed systems : 22nd IFIP WG 6.1 international conference ; proceedings
Formal techniques for networked and distributed systems : 27th IFIP WG 6.1 international conference ; proceedings
Formal techniques for networked and distributed systems : 23rd IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd IFIP WG 6.1 international conference ; proceedings
Open and social technologies for networked learning : IFIP WG 3.4 international conference ; revised selected papers
Data and applications security and privacy XXVIII : 28th Annual IFIP WG 11.3 working conference ; proceedings
Distributed applications and interoperable systems : 10th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 11th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference ; proceedings