Formal techniques for distributed systems: joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 ; proceedings

Medientyp: Buch; Konferenzbericht

Titel: Formal techniques for distributed systems : joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 ; proceedings

Beteiligte: Lee, David [Hrsg.]; Lopes, Antonia [Sonstige Person, Familie und Körperschaft]; Poetzsch-Heffter, Arnd [Sonstige Person, Familie und Körperschaft]

Körperschaft: International Federation for Information Processing, Working Group Architecture and Protocols for Computer Networks

Veranstaltung: International Conference FMOODS

Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2009

Umfang: XII, 248 S.; graph. Darst; 235 mm x 155 mm

Sprache: Englisch

ISBN: 3642021379; 9783642021374

Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12687480

RVK-Notation: SS 4800 : Lecture notes in computer science

Schlagwörter: Verteiltes System > Formale Methode
Rechnernetz > Softwarespezifikation > Formale Spezifikationstechnik
Softwaretest
Software > Testen

Entstehung:

Anmerkungen: Literaturangaben

Weitere Bestandsnachweise
0 : Lecture notes in computer science

Formal techniques for distributed systems : joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 ; proceedings

Merkliste

Exemplare

Bereichsbibliothek DrePunct – Magazin

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Magazin