• Produktbild: Formal Techniques for Distributed Systems
  • Produktbild: Formal Techniques for Distributed Systems

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

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.05.2013

Abbildungen

XIV, 66 illus., schwarz-weiss Illustrationen

Herausgeber

Dirk Beyer + weitere

Verlag

Springer Berlin

Seitenzahl

321

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

511 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38591-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.05.2013

Abbildungen

XIV, 66 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

321

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

511 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38591-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Techniques for Distributed Systems
  • Produktbild: Formal Techniques for Distributed Systems
  • Distributed computing models.- Formal specification.- Testing.- Verification methods.- Application-level distributed systems.- Telecommunication services.- Internet.- Embedded and real-time systems.-Networking and communication security and reliability.