Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Artho, Cyrille 1976- (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Cham ; s.l. Springer International Publishing 2014
Imprint: Springer
Schriftenreihe:Communications in Computer and Information Science 419
Schlagworte:
Software Engineering
Informatik
Logischer Entwurf
Online-Zugang:DE-522
DE-634
DE-Aug4
DE-M347
DE-92
DE-859
DE-861
DE-473
DE-355
DE-703
DE-20
DE-29
DE-739
Volltext
Abstract
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

DE-522
DE-634
DE-Aug4
DE-M347
DE-92
DE-859
DE-861
DE-473
DE-355
DE-703
DE-20
DE-29
DE-739
Volltext
Abstract

Ähnliche Einträge