„Abstrakter Datentyp“

Suchergebnisse

1.000+ Treffer

• Abstrakte Datentypen und temporale Logik – ein kombinierter Spezifikationsansatz
  Leßke, Frank 1995 Shaker
• Recent trends in data type specification – selected papers
  Astesiano, Egidio 1995 Springer
• Automatische Fehlersuche in algebraischen Spezifikationen
  Dunets, Andriy
• Grundlagen strukturierten Spezifizierens mit höheren Netzen
  Heise, Andreas
• Relations between abstract datatypes modeled as abstract datatypes
  Baumeister, Hubert
• Recent Trends in Data Type Specification – 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
  Haveraaen, Magne 1985 Springer Berlin Heidelberg
• Algebraic methodology and software technology – 7th international conference ; proceedings
  Haeberer, Armando Martín 1999 Springer
• Algebraische Spezifikation und Modellierung in Höheren Petri-Netzen mit zustandsabhängiger Schaltregel
  Düpmeier, C. 1994 KIT-Bibliothek
• Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs
  Siegel, Holger 2016 Verlag Dr. Hut
• Realisierung der Zeitkomponente einer Geodatenbank durch einen ISO19108 konformen Datentyp
  Broßeit, Peter ; Müller, Matthias ; Bernard, Lars 2013 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• RRLab – Rewrite Rule Labor
  Thomas, Christoph 2023 Saarländische Universitäts- und Landesbibliothek
• Recent trends in data type specification – selected papers
  Ehrig, Hartmut 1994 Springer
• Test_circ – ein abstrakter Datentyp zur Repräsentation von hierarchischen Schaltkreisen ; (Benutzeranleitung)
  Krieger, Rolf ; Hahn, Ralf ; Becker, Bernd 1993 Fachbereich Informatik, Univ.
• Recent trends in data type specification – selected papers
  Bidoit, Michel 1993 Springer
• Deduktive Fehlersuche in abstrakten Datentypen
  Ahrendt, Wolfgang
• Grundlagen strukturierten Spezifizierens mit höheren Netzen
  Heise, Andreas
• Modellierung und Verwaltung zeitbezogener Informationen in relationalen Datenbanken – Konzepte und Sprachen
  Bisseck, Pierre
• Relations between abstract datatypes modeled as abstract datatypes
  Baumeister, Hubert
• Recent trends in data type specification – proceedings
  Ehrig, Hartmut 1991 Springer
• Ein Modulkonzept in der Theorie abstrakter Datentypen
  Schoett, Oliver 1981 Fachbereich Informatik, Univ.