GI LogoGI Logo
  • Anmelden
Digitale Bibliothek
    • Gesamter Bestand

      • Bereiche & Sammlungen
      • Titel
      • Autor
      • Erscheinungsdatum
      • Schlagwort
    • Diese Sammlung

      • Titel
      • Autor
      • Erscheinungsdatum
      • Schlagwort
Digital Bibliothek der Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • Deutsch 
    • English
    • Deutsch
Dokumentanzeige 
  •   Startseite
  • Informatik Spektrum
  • Band 10 (1987)
  • Band 10 - Heft 6 (Dezember 1987)
  • Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   Startseite
  • Informatik Spektrum
  • Band 10 (1987)
  • Band 10 - Heft 6 (Dezember 1987)
  • Dokumentanzeige

Konstruktion korrekter Programme durch Transformation

Autor(en):
Partsch, Helmuth [DBLP] ;
Möller, Bernhard [DBLP]
  • Vollständige Referenz
  • BibTeX
Partsch, H. & Möller, B., (1987). Konstruktion korrekter Programme durch Transformation.   Informatik Spektrum: Vol. 10, No. 6. Berlin Heidelberg: Springer-Verlag. (S. 309-323).
@article{mci/Partsch1987,
author = {Partsch, Helmuth AND Möller, Bernhard},
title = {Konstruktion korrekter Programme durch Transformation},
journal = {Informatik Spektrum},
volume = {10},
number = {6},
year = {1987},
,
pages = { 309-323 }
}

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

Datum: 1987
Sprache: de (de)
Typ: Text/Journal Article
Sammlungen
  • Band 10 - Heft 6 (Dezember 1987) [6]

Zur Langanzeige


Über uns | FAQ | Hilfe | Impressum | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


Über uns | FAQ | Hilfe | Impressum | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.