Libros importados hasta 50% OFF + Envío Gratis a todo USA  Ver más

menu

0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (in German)
Type
Physical Book
Publisher
Author
Language
German
Pages
468
Format
Paperback
ISBN13
9783658263010
Edition No.
1

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (in German)

Manfred Broy (Author) · Springer Vieweg · Paperback

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (in German) - Manfred Broy

Physical Book

$ 35.99

$ 37.99

You save: $ 2.00

5% discount
Envío gratis a todo Estados Unidos
  • Condition: New

Choose the list to add your product or create one New List

Go to My Wishlists
It will be shipped from our warehouse between Monday, July 08 and Tuesday, July 09.
You will receive it anywhere in United States between 1 and 3 business days after shipment.

Synopsis "Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (in German)"

Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und ProgrammentwicklungIn diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die Autoren vermitteln Studierenden der Informatik und Praktikern aus dem Bereich Software-Engineering, wie sie grundlegende Aufgaben der Programmentwicklung auf wissenschaftlicher Basis verstehen und bewältigen. Sie fassen alle behandelten wissenschaftlichen Ansätze und Methoden übersichtlich zusammen und führen diese anhand von praktischen Beispielen näher aus.Die Kernthemen des Werks im ÜberblickDas Buch "Logische und Methodische Grundlagen der Programm- und Systementwicklung" widmet sich folgenden Themen: ? Algebraische Spezifikationen von Daten- und Rechenstrukturen ? Spezifikation und Implementierung ? Nachweis der Korrektheit für funktionale, sequenzielle und objektorientierte Programmierung? Korrektheits- und Terminierungsbeweise? Design-by-Contract ? Schrittweise Verfeinerung

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in German.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews