Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Formal Techniques for Safety-Critical Systems

- Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Über Formal Techniques for Safety-Critical Systems

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783319175805
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 257
  • Veröffentlicht:
  • 16. April 2015
  • Ausgabe:
  • 2015
  • Abmessungen:
  • 235x155x14 mm.
  • Gewicht:
  • 4102 g.
  Versandkostenfrei
  Sofort lieferbar
Verlängerte Rückgabefrist bis 31. Januar 2025

Beschreibung von Formal Techniques for Safety-Critical Systems

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Kund*innenbewertungen von Formal Techniques for Safety-Critical Systems



Ähnliche Bücher finden
Das Buch Formal Techniques for Safety-Critical Systems ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.