NASA formal methods 15th international symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: NFM Houston, Tex (VerfasserIn)
Weitere Verfasser: Rozier, Kristin Yvonne (HerausgeberIn), Chaudhuri, Swarat (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2023]
Schriftenreihe:Lecture notes in computer science 13903
Schlagworte:
Online-Zugang:BFB01
BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FNU01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UEI01
UER01
UPA01
URL des Erstveröffentlichers
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

BFB01
BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FNU01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UEI01
UER01
UPA01
URL des Erstveröffentlichers