Eintrag weiter verarbeiten
Online-Ressource

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 Ne...

Gespeichert in:

Personen und Körperschaften: Hatcliff, John (VerfasserIn), Zucca, Elena (Sonstige)
Titel: 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/ edited by John Hatcliff, Elena Zucca
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 6117
Schlagwörter:
Computer Communication Networks
Logic design
Computer Science
Computer science
Software engineering
Computer programming.
Compilers (Computer programs).
Computer networks .
Machine theory.
Konferenzschrift > 2010 > Amsterdam
Buchausg. u.d.T.: Formal techniques for distributed systems, Berlin : Springer, 2010, XII, 231 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz