Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden...

Gespeichert in:

Personen und Körperschaften:	Giese, Holger (VerfasserIn), Rosu, Grigore (Sonstige)
Titel:	Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings/ edited by Holger Giese, Grigore Rosu
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2012
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7273
Schlagwörter:	Computer Communication Networks Logic design Computer Science Electronic data processing > Distributed processing > Congresses Formal methods (Computer science) > Congresses Computer science Software engineering Computer programming. Compilers (Computer programs). Computer networks . Machine theory. Konferenzschrift > 2011 > Reykjavik Konferenzschrift > 2012 > Stockholm
Buchausg. u.d.T.:	Formal techniques for distributed systems, [Berlin] : Springer, 2012, XII, 267 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz