Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	FMOODS (BerichterstatterIn), FORTE (BerichterstatterIn)
Weitere Verfasser:	Hatcliff, John (HerausgeberIn), Zucca, Elena (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2010
Schriftenreihe:	Lecture notes in computer science 6117
Schlagworte:	Electronic data processing > Distributed processing > Object-oriented programming (Computer science) > Formal methods (Computer science) > Konferenzschrift > Verteiltes System > Formale Methode
Online Zugang:	Inhaltstext Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!