Titre: Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung : Datenstrukturen, Funktionale, Sequenzielle Und Objektorientierte Programmierung - Unter Mitarbeit Von Alexander Malkis -Language: german
�diteur: Springer Vieweg
Date de parution: 2019
Langue: allemand
ISBN � 10 chiffres: 3658263016
ISBN � 13 chiffres: 9783658263010
Reliure: Couverture souple
�tat de l'article: As New

A propos de ce titre

Synopsis

Eignen Sie sich mit Hilfe dieses Buchs die wichtigsten Grundlagen der Programm- und Systementwicklung an

Geht man beim Entwickeln von Programmen von einer informellen Problemstellung aus, erfordert das:

a) die Spezifikation des Programms unter Festlegung der Daten- und Rechenstrukturen.

b) die Implementierung.

c) die Verifikation der Korrektheit.

Um diese Aufgaben zu bew�ltigen, hat die Informatik eine Reihe grundlegender Ans�tze und Methoden entwickelt, welche in Manfred Broy und Alexander Malkis Buch "Logische und Methodische Grundlagen der Programm- und Systementwicklung" �bersichtlich zusammengefasst und an praktischen Beispielen erl�utert werden.

Um was geht es im Detail?

In ihrem Buch �ber System- und Programmentwicklung behandeln die Autoren im Kern folgende Themen:

- Algebraische Spezifikationen von Daten- und Rechenstrukturen sowie die F�higkeit, daraus Eigenschaften abzuleiten

- Die Spezifikation und Implementierung

- Den Nachweis der Korrektheit f�r funktionale, prozedurale und objektorientierte Programme

Dies schlie�t unter anderem auch Themen wie Korrektheits- und Terminierungsbeweise, Design-by-Contract und schrittweise Verfeinerung ein.

Mit ihrem Buch "Logische und Methodische Grundlagen der Programm- und Systementwicklung" gelingt es Broy und Malkis, die wichtigsten Grundlagen f�r eine wissenschaftlich abgesicherte Entwicklung von Programmen zu vermitteln. Das Werk richtet sich deshalb an Studierende aus der Informatik und an Praktiker des Software-Engineering mit Interesse an Grundlagen und Methodik.

Inhalte des Buchs �ber Programmentwicklung in der �bersicht- Einf�hrung indie Grundlagen der Softwareentwicklung
- Rechen- und Datenstrukturen
- Algebraische Datenmodellierung
- Funktionale Programmierung
- Anweisungsorientierte, sequenzielle Programmierung
- Referenzen, Zeiger und organisierter Speicher
- Verfeinerung
- Grundlagen der Objektorientierung- Ausblick: parallel ablaufende, verteilte, kooperierende Systeme

� propos de l'auteur

Prof. Dr. Dr. h.c. Manfred Broy leitete an der Technischen Universit�t M�nchen den Lehrstuhl Software & Systems Engineering. Er gr�ndete 2009 das Forschungsinstitut f�r angewandte Forschungstechnik fortiss. Seit 2016 ist er Gr�ndungspr�sident des Zentrums Digitalisierung.Bayern. Seine wissenschaftlichen Arbeiten, die diesem Buch zugrunde liegen, zielen auf die formale Fundierung der Konzepte und Methoden des Softwareengineerings als Basis f�r eine fundierte Entwicklung von Programmsystemen.Alexander Malkis (Dr. rer. nat., 2010, Albert-Ludwigs-Universit�t Freiburg) ist ein internationaler Forscher im Bereich "formale Methoden" mit Fokus auf Verifikation, Programmanalyse und Nebenl�ufigkeit. Sein Forschungsziel besteht darin, Methoden zur Steigerung von Sicherheit, Zuverl�ssigkeit und Vertrauensw�rdigkeit nebenl�ufiger Programme, Architekturen und Systeme zu entwickeln.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

SuperBookDeals.com is your top source for finding new books at the absolute lowest prices, guaranteed ! We offer big discounts - everyday - on millions of titles in virtually any category, from Architecture to Zoology -- and everything in between. Discover great deals and super-savings, on professional books, text book titles, the newest computer guides, or your favorite fiction authors. You'll find it all - at HUGE SAVINGS - at SuperBookDeals. Browse through our complete online product catalog today. Serving customers around the world for years, we help thousands find just the books they're looking for -- at incredibly low, bargain prices.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Expert Trading Limited
9220 Rumsey Road, Suite 101, Columbia, MD, 21045, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

Company Name: GreatBookPrices
Legal Entity: Expert Trading, LLC
Address: 6310 Stevens Forest, suite 200, Columbia MD 21046
Email address: CustomerService@SuperBookDeals.com
Phone number: 410-964-0026
consumer complaints can be addressed to address above
Registration #: 52-1713923
Authorized representative: Danielle Hainsey

Droit de r�tractation

Si vous �tes un consommateur, vous pouvez exercer votre droit de r�tractation sur le contrat conform�ment � ce qui suit. Le mot � consommateur � d�signe toute personne physique agissant � des fins qui n'entrent pas dans le cadre de son activit� commerciale, artisanale ou professionnelle.

Informations concernant le droit de r�tractation

Droit statutaire de r�tractation

Vous avez le droit d'exercer votre droit de r�tractation sur ce contrat dans les 14 jours sans donner de raison.

Le d�lai de r�tractation expirera au bout de 14 jours � compter du jour o� vous-m�me, ou un tiers autre que le transporteur et d�sign� par vous, prendrez physiquement possession de la derni�re marchandise, du dernier lot ou de la derni�re pi�ce.

Pour exercer votre droit de r�tractation, remplissez �lectroniquement et envoyez une d�claration claire sur notre site Web, sous � Vos achats � dans � Votre compte �. Nous vous communiquerons sans d�lai un accus� de r�ception de cette r�tractation sur un support durable (par exemple, par e-mail).

Pour respecter le d�lai de r�tractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de r�tractation avant l'expiration du d�lai de r�tractation.

Effets de la r�tractation

Si vous exercez votre droit de r�tractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectu�s, y compris les frais de livraison (� l'exception des frais suppl�mentaires r�sultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).

Nous pouvons d�duire du remboursement la perte de valeur de toute marchandise livr�e, si la perte est le r�sultat d'une manipulation inutile de votre part.

Nous effectuerons le remboursement dans les meilleurs d�lais, et au plus tard 14 jours apr�s le jour o� nous aurons �t� inform�s de votre d�cision d'exercer votre droit de r�tractation sur ce contrat.

Nous effectuerons le remboursement en utilisant le m�me moyen de paiement que celui que vous avez utilis� pour la transaction initiale, sauf si vous en avez express�ment convenu autrement ; en tout �tat de cause, aucuns frais ne vous seront factur�s � la suite d'un tel remboursement.

Nous pouvons suspendre le remboursement jusqu'� ce que nous ayons re�u les marchandises ou que vous ayez fourni la preuve que vous avez renvoy� les marchandises, en fonction de la premi�re �ventualit�.

Vous devez renvoyer les marchandises ou les remettre � GreatBookPrices, Bensenville, Illinois, U.S.A., sans retard injustifi� et, en tout �tat de cause, au plus tard 14 jours � compter du jour o� vous nous avez communiqu� votre d�cision de r�tractation du pr�sent contrat. Le d�lai est respect� si vous renvoyez les marchandises avant l'expiration du d�lai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'�tes responsable que de toute diminution de valeur des marchandises r�sultant d'une manipulation autre que celle n�cessaire pour �tablir la nature, les caract�ristiques et le fonctionnement des marchandises.

Exceptions au droit de r�tractation

Le droit de r�tractation ne s'applique pas � ce qui suit :

Distribution de journaux, de revues ou de magazines, � l'exception des contrats d'abonnement ; et
Fourniture d'un contenu num�rique qui n'est pas fourni sur un support mat�riel (par exemple, sur un CD ou un DVD) si vous avez accept�, lors de votre commande, que nous puissions commencer � le livrer et que vous ne puissiez pas exercer votre droit de r�tractation une fois la livraison commenc�e.

Conditions d'exp�dition

Our warehouses across the globe are fully operational without substantial delays. We are working hard and continue to overcome the daily challenges presented by COVID-19. We appreciate your understanding.

Internal processing of your order will take about 1-2 business days. Please allow an additional 4-14 business days for Media Mail delivery. We have multiple ship-from locations - MD,IL,NJ,UK,IN,NV,TN & GA

Frais d'exp�dition � l'int�rieur de ce pays�: Etats-Unis

Frais d'exp�dition � l'int�rieur de ce pays�: Etats-Unis
Quantit� command�e	8 � 14 jours ouvr�s	5 � 14 jours ouvr�s
Premier article	EUR 2.35	EUR 2.35

Les d�lais de livraison sont fix�s par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent �tre retard�es et les acheteurs sont responsables de tous les droits ou frais associ�s. Les vendeurs peuvent vous contacter au sujet de frais suppl�mentaires afin de couvrir toute augmentation des co�ts d'exp�dition de vos articles.