DUV: Datenverarbeitung
cover

Formale Programmentwicklung mit dynamischer Logik

Autoren: Heisel, Maritta

Dieses Buch kaufen

eBook 40,00 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-663-14621-6
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate:
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 54,99 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-8244-2031-5
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.

Inhaltsverzeichnis (11 Kapitel)

Inhaltsverzeichnis (11 Kapitel)
  • Einleitung

    Seiten 1-4

    Heisel, Maritta

  • Bisherige Ansätze zur Programmentwicklung

    Seiten 5-24

    Heisel, Maritta

  • Das KIV-System als Werkzeug für die formale Programmentwicklung

    Seiten 25-55

    Heisel, Maritta

  • Ein programmiersprachenorientierter Ansatz

    Seiten 56-104

    Heisel, Maritta

  • Formale Programmentwicklung durch sukzessive Etablierung von Teilzielen und Rückwärts­Schleifenentwicklung

    Seiten 105-147

    Heisel, Maritta

Dieses Buch kaufen

eBook 40,00 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-663-14621-6
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate:
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 54,99 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-8244-2031-5
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Services zu diesem Buch

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Formale Programmentwicklung mit dynamischer Logik
Autoren
Titel der Buchreihe
DUV: Datenverarbeitung
Copyright
1992
Verlag
Deutscher Universitätsverlag
Copyright Inhaber
Springer Fachmedien Wiesbaden
eBook ISBN
978-3-663-14621-6
DOI
10.1007/978-3-663-14621-6
Softcover ISBN
978-3-8244-2031-5
Auflage
1
Seitenzahl
IX, 288
Themen