zweidimensionales bewegtes Bild
Adding contracts to the GCC GNAT Ada standard libraries: to strengthen analysis provided by formal verification tools
- Standort
-
Hannover TIB
- Umfang
-
185MB, 00:17:43:15 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
FOSDEM 2021 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
FOSDEM VZW
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Huguet, Joffrey
- DOI
-
10.5446/53375
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Huguet, Joffrey
- FOSDEM VZW
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Adding to the List
Adding insult to injury
Adding Spirit to Economics
Adding performance counters to htop
Adding priority to event structures
Adding Position Structures to Katja
LLVM and GCC: Learning to work together
Adding VHDL support to Icarus Verilog
Adding interactive javascript functionality to Plone
1.4 Adding Rappture to MATLAB Applications
Adding bottom-up evaluation to prolog
Adding fair choice to Dijkstra's calculus
Adding to the List
Adding insult to injury
Adding Spirit to Economics
Adding performance counters to htop
Adding priority to event structures
Adding Position Structures to Katja
LLVM and GCC: Learning to work together
Adding VHDL support to Icarus Verilog
Adding interactive javascript functionality to Plone
1.4 Adding Rappture to MATLAB Applications
Adding bottom-up evaluation to prolog
Adding fair choice to Dijkstra's calculus
Adding to the List
Adding insult to injury
Adding Spirit to Economics
Adding performance counters to htop
Adding priority to event structures
Adding Position Structures to Katja
LLVM and GCC: Learning to work together
Adding VHDL support to Icarus Verilog
Adding interactive javascript functionality to Plone
1.4 Adding Rappture to MATLAB Applications
Adding bottom-up evaluation to prolog