zweidimensionales bewegtes Bild

Proving heap-manipulating programs with SPARK: The SPARK open-source proof tool for Ada now supports verifying pointer-based algorithms thanks to an ownership policy inspired by Rust

zu Verbundenen Objekten

Standort
Hannover TIB
Umfang
521MB, 00:57:47:22 (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
Dross, Claire

DOI
10.5446/53376
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.
Original beim Datenpartner anzeigen

Objekttyp

  • zweidimensionales bewegtes Bild

Beteiligte

  • Dross, Claire
  • FOSDEM VZW

Entstanden

  • 2021-01-01

Ähnliche Objekte (12)

Sparks ("Eisenbahnstadt"). High School, Sparks, Nev.

Postkarte

Sparks ("Eisenbahnstadt"). High School, Sparks, Nev.

Sparks ("Eisenbahnstadt"). Railroad Shops, Sparks, Nev.

Postkarte

Sparks ("Eisenbahnstadt"). Railroad Shops, Sparks, Nev.

Sparks ("Eisenbahnstadt"). High School, Sparks, Nev.

Postkarte

Sparks ("Eisenbahnstadt"). High School, Sparks, Nev.

Sparks ("Eisenbahnstadt"). Railroad Shops, Sparks, Nev.

Postkarte

Sparks ("Eisenbahnstadt"). Railroad Shops, Sparks, Nev.

Sparks ("Eisenbahnstadt"). River Scene, Sparks, Nev.

Postkarte

Sparks ("Eisenbahnstadt"). River Scene, Sparks, Nev.

Sparks ("Eisenbahnstadt"). River Scene, Sparks, Nev.

Postkarte

Sparks ("Eisenbahnstadt"). River Scene, Sparks, Nev.

Nicholas Sparks

Fotografie

Nicholas Sparks

Nicholas Sparks

Fotografie

Nicholas Sparks

Nicholas Sparks

Fotografie

Nicholas Sparks

Nicholas Sparks

Fotografie

Nicholas Sparks

Nicholas Sparks

Fotografie

Nicholas Sparks

Nicholas Sparks

Fotografie

Nicholas Sparks

Verbundene Objekte