Formal techniques for distributed systems joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: International Federation for Information Processing (BerichterstatterIn), Joint IFIP WG 6.1 International Conference FMOODS/FORTE (BerichterstatterIn)
Weitere Verfasser: Beyer, Dirk (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 2013
Schriftenreihe:Lecture notes in computer science 7892
Schlagworte:
Online Zugang:Inhaltstext
Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XIII, 320 S.
Ill., graph. Darst.
235 mm x 155 mm
ISBN:3642385915
3-642-38591-5
9783642385919
978-3-642-38591-9