Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

- Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

enthalten in Communications in Computer and Information Science-Reihe

Formal Techniques for Safety-Critical Systems
Über Formal Techniques for Safety-Critical Systems

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. 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:
  • 9783319054155
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 297
  • Veröffentlicht:
  • 6. April 2014
  • Ausgabe:
  • 2014
  • Abmessungen:
  • 235x155x17 mm.
  • Gewicht:
  • 4686 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 Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. 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



Andere kauften auch ...
Ä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.