Konferenzschrift | Kongress

Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642214608
3642214606
Maße
24 cm
Umfang
XIV, 348 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 6722

Schlagwort
Verteiltes System
Formale Methode

Ereignis
Veröffentlichung
(wo)
[Berlin, Heidelberg, New York, NY]
(wer)
Springer
(wann)
2011
Beteiligte Personen und Organisationen

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:37 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

Entstanden

  • 2011

Ähnliche Objekte (12)

Formal techniques for distributed systems : joint 14th IFIP WG 6.1 international conference and 32nd IFIP WG 6.1 international conference ; proceedings

Konferenzschrift | Kongress

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 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings

Konferenzschrift | Kongress

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference ; proceedings

Coordination models and languages : 16th IFIP WG 6.1 international conference ; proceedings

Konferenzschrift | Kongress

Coordination models and languages : 16th IFIP WG 6.1 international conference ; proceedings

Testing software and systems : 26th IFIP WG 6.1 international conference ; proceedings

Konferenzschrift | Kongress

Testing software and systems : 26th IFIP WG 6.1 international conference ; proceedings

Testing software and systems : 24th IFIP WG 6.1 international conference ; proceedings

Konferenzschrift | Kongress

Testing software and systems : 24th IFIP WG 6.1 international conference ; proceedings

Testing software and systems : 23rd IFIP WG 6.1 international conference ; proceedings

Konferenzschrift | Kongress

Testing software and systems : 23rd IFIP WG 6.1 international conference ; proceedings

Testing software and systems : 22nd IFIP WG 6.1 international conference ; proceedings

Konferenzschrift | Kongress

Testing software and systems : 22nd IFIP WG 6.1 international conference ; proceedings

Distributed applications and interoperable systems : 7th IFIP WG 6.1 international conference ; proceedings

Konferenzschrift | Kongress

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

Konferenzschrift | Kongress

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

Konferenzschrift | Kongress

Distributed applications and interoperable systems : 11th IFIP WG 6.1 international conference ; proceedings

Distributed applications and interoperable systems : 4th IFIP WG 6.1 international conference proceedings

Konferenzschrift | Kongress

Distributed applications and interoperable systems : 4th IFIP WG 6.1 international conference proceedings

Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference ; proceedings

Konferenzschrift | Kongress

Distributed applications and interoperable systems : 12th IFIP WG 6.1 international conference ; proceedings

Verbundene Objekte