Konferenzschrift | Kongress
Formal techniques for networked and distributed systems : 27th IFIP WG 6.1 international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540731955
3540731954
- Dimensions
-
24 cm
- Extent
-
XI, 373 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 4574
- Keyword
-
Verteiltes System
Formale Methode
Rechnernetz
Softwarespezifikation
Formale Spezifikationstechnik
Softwaretest
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2007
- Contributor
-
Derrick, John
FORTE (27 : 2007 : Tallinn)
- 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:48 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
- Derrick, John
- FORTE (27 : 2007 : Tallinn)
- Springer
Time of origin
- 2007
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 : 23rd IFIP WG 6.1 international conference ; proceedings
Formal techniques for networked and distributed systems : 28th IFIP WG 6.1 international conference ; proceedings
Data and applications security and privacy XXVII : 27th annual IFIP WG 11.3 conference ; proceedings
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd 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 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021)
Open and social technologies for networked learning : IFIP WG 3.4 international conference ; revised selected papers
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 8th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 11th 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 : 23rd IFIP WG 6.1 international conference ; proceedings
Formal techniques for networked and distributed systems : 28th IFIP WG 6.1 international conference ; proceedings
Data and applications security and privacy XXVII : 27th annual IFIP WG 11.3 conference ; proceedings
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd 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 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021)
Open and social technologies for networked learning : IFIP WG 3.4 international conference ; revised selected papers
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 8th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 11th 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 : 23rd IFIP WG 6.1 international conference ; proceedings
Formal techniques for networked and distributed systems : 28th IFIP WG 6.1 international conference ; proceedings
Data and applications security and privacy XXVII : 27th annual IFIP WG 11.3 conference ; proceedings
Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd 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 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings
27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021)
Open and social technologies for networked learning : IFIP WG 3.4 international conference ; revised selected papers
Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference ; proceedings
Distributed applications and interoperable systems : 8th IFIP WG 6.1 international conference ; proceedings