> Detailanzeige

Bartels, Falk [VerfasserIn]; Dold, Axel [VerfasserIn]; Pfeifer, Holger [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Rueß, Harald [VerfasserIn]

Formalizing fixed-point theory in PVS

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book; Bericht
  • Titel: Formalizing fixed-point theory in PVS
  • Beteiligte: Bartels, Falk [VerfasserIn]; Dold, Axel [VerfasserIn]; Pfeifer, Holger [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Rueß, Harald [VerfasserIn]
  • Erschienen: Universität Ulm, 2016-03-15T11:04:17Z
  • Sprache: Englisch
  • DOI: https://doi.org/10.18725/OPARU-3876
  • ISBN: 1651370826
  • Schlagwörter: Theoretische Informatik ; Fixed point theory ; DDC 004 / Data processing & computer science ; Fixpunkttheorie
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: N/A