MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Abstrakte Datentypen." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • – Installation 2. Installation – Linux/Knoppix – Emacs – Umgang mit dem PVS-System  
  • by Rechnergestützte Beweissysteme, Elementarer Umgang Mit Pvs, Der Pvs-beweiser, Elementare Beweiskommandos, Der Pvs-beweiser, Elementare Beweiskommandos, Mächtige Spezifikationssprache, Rekursive Definitionen, Mächtiges Beweissystem
  • … • abstrakte Datentypen, automatische Induktionsaxiome, • Codatentypen, Coinduktion Die PVS…
  • Add To MetaCart
  • OBJEKTORIENTIERTE SOFTWAREENTWICKLUNG  
  • by Mit Sqlwindows, Arbeitsbereich Softwaretechnik, Betreuer Prof, Dr. Heinz Züllighoven, Prof Dr, Winfried Lamersdorf, Vorgelegt Von Holger Koschek, Nach Wam, Mit Sqlwindows, Hamburg Frankfurt Am Main — 1997
  • …............................................................................ 22 2.2.3 Abstrakte Datentypen…
  • Add To MetaCart
  • Formale Verifikation eingebetteter Systeme  
  • by Klaus Schneider, Michaela Huhn, George Logothetis, Viktor Sabelfeld, Prof Dr. -ing, Detlef Schmid, Detlef Schmid, Mitbegründer Fakultät, Dipl. -inform George, Logothetis Informatik
  • … zur Definition abstrakter Datentypen und darauf arbeitenden Funktionen aufgenommen. Die zur Verfügung…
  • Cited by 1 (1 self) – Add To MetaCart
  • Bibliography  
  • by Ab Apt Bol, Abw K. R. Apt, H. A. Blair, Ahv S. Abiteboul, R. Hull, V. Vianu, Foundations Databases Addisonwesley, Logic Programming, Semantics In J. Dix, L. M. Pereira, T. C. Przymusinski (eds, Bdp S. Brass, J. Dix, T. C. Przymusinski Characterizations — 1996
  • … Spezifikation abstrakter Datentypen. B. G. Teubner, Stuttgart, 1989. [EGM94] T. Eiter, G. Gottlob, H. Mannila…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB