„abstrakte Datentypen“

Suchergebnisse

1.000+ Treffer

• Abstrakte Datentypen und temporale Logik – ein kombinierter Spezifikationsansatz
  Leßke, Frank 1995 Shaker
• Objektbasierte Programmierung mit Go
  Maurer, Christian 2023 Springer Fachmedien Wiesbaden
• Warnsperren zur Synchronisation paralleler Prozesse auf abstrakten Datentypen – Synchronization of shared abstract data types using intention locks
  Kelter, Udo
• Mein C++ Buch – Vom Einsteiger zum Profi
  Orlikowski, Achim 2023 tredition
• Lgc++ – ein Werkzeug zur Implementierung von Logiken als abstrakte Datentypen in C++ ; (Benutzeranleitung)
  Krieger, Rolf ; Becker, Bernd ; Hengster, Harry 1993 Fachbereich Informatik, Univ.
• Allgemeine Algebra – mit einem Anhang "Abstrakte Datentypen" ; mit 127 Aufgaben
  Ihringer, Thomas 1993 Teubner
• Deduktive Fehlersuche in abstrakten Datentypen
  Ahrendt, Wolfgang
• Ein Modulkonzept in der Theorie abstrakter Datentypen
  Schoett, Oliver 1981 Fachbereich Informatik, Univ.
• Algebraische Grundlagen von Syntax und Semantik abstrakter Datentypen
  Ehrig, Hartmut 1983 Techn. Univ., Fachbereich Informatik
• Die Modellierung von CAD-Datenbankanwendungen mittels abstrakter Datentypen
  Lüke, Birgit 1989 VDI-Verl.
• Algebraische Implementierung abstrakter Datentypen
  Ehrig, Hartmut ; Kreowski, Hans-Jörg ; Padawitz, Peter 1979 Techn. Univ., Fachbereich 20
• Spezifikation und Verifikation abstrakter Datentypen
  Bothe, Klaus
• Spezifizierbarkeit berechenbarer Datentypen
  Schönegge, Arno 1998 Shaker
• Typen, Objekte, Klassen – Teil 3: Semantik abstrakter Datentypen
  Brauer, Johannes 2011 Nordakademie, Hochschule der Wirtschaft
• Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen
  Gogolla, Martin
• Ein abstraktes Modell der ALGOL-68-Datentypen [ALGOL-Datentypen]
  Mücke, Wolfgang
• Abstrakte Datentypen mit automatischen Implementierungen
  Heck, Norbert
• Methoden und Beschreibungsmittel für die Programmentwicklung – von informellen zu formalen Spezifikationen durch Petri-Netze und abstrakte Datentypen
  Reck, Martin 1991 Forkel
• Objektbasierte Programmierung mit Go
  Maurer, Christian 2023 Springer Vieweg
• Objektbasierte Programmierung mit Go
  Maurer, Christian 2021 Springer Vieweg