The Munich Project CIP Springer

buch-mimpf
(20392)
Angemeldet als gewerblicher Verkäufer
EUR 53,49
(inkl. MwSt.)
Artikelzustand:
Neu
Ganz entspannt. Rückgaben akzeptiert.
Versand:
Kein Versand nach USA.
Standort: Bayreuth, Deutschland
Lieferung:
Weitere Infos zur Lieferzeit in der Artikelbeschreibung
Rücknahme:
Keine Rücknahme.
Zahlungen:
   Diners Club  

Sicher einkaufen

eBay-Käuferschutz
Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet

  • Gratis Rückversand im Inland
  • Punkte für jeden Kauf und Verkauf
  • Exklusive Plus-Deals
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:205659787714

Artikelmerkmale

Artikelzustand
Neu: Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte ...
Seiten
536
Gewicht
803
Einband
Taschenbuch
Marke
Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich
Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel
The Munich Project CIP
Buchtitel
The Munich Project CIP
Untertitel
Volume II: The Programme Transformation System CIP-S
Film-/Fernseh-Titel
Keine Angabe
Musiktitel
Keine Angabe
Interpret
Keine Angabe
Schlagworte
Datenverarbeitung / Datenverschlüsselung, Kryptografie EDV / ...
ISBN
9783540187790
Reihe
Lecture Notes in Computer Science
Produktart
Lehrbuch
Format
Taschenbuch
Erscheinungsjahr
1988
Anzahl der Seiten
536 Seiten
Autor
Springer
Verlag
Springer Berlin Heidelberg, Springer Berlin
Publikationsname
The Munich Project Cip
Sprache
Englisch
Kategorie

Über dieses Produkt

Produktinformation

This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the method of transformational programming. Second, it gives a non-toy example for this very method, since it contains a formal specification of the system core and transformational developments for the more interesting system routines. Based on a formal calculus of program transformations, the informal requirements for the system are stated. Then the system core is formally specified using the algebraic data types and the pre-algorithmic logical constructs of the wide spectrum language CIP-L. It is demonstrated how executable, procedural level programs can be developed from this specification according to formal rules. The extensive collection of these rules is also contained in the book; it can be used as the basis for further developments using this method. Since the system has been designed in such a way that it is parameterized with the concrete programming language to be transformed, the book also contains a guide how to actualize this parameter; the proceeding is exemplified with a small subset of CIP-L.

Produktkennzeichnungen

Herausgeber
Springer
ISBN-10
3540187790
ISBN-13
9783540187790
eBay Product ID (ePID)
62885638

Produkt Hauptmerkmale

Verlag
Springer Berlin Heidelberg, Springer Berlin
Erscheinungsjahr
1988
Anzahl der Seiten
536 Seiten
Publikationsname
The Munich Project Cip
Sprache
Englisch
Produktart
Lehrbuch
Autor
Springer
Reihe
Lecture Notes in Computer Science
Format
Taschenbuch

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Paperback
Nummer Innerhalb der Serie
292
Item Height
2cm
Item Length
23cm
Item Weight
803g
Item Width
15cm

Artikelbeschreibung des Verkäufers

Rechtliche Informationen des Verkäufers

Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
USt-IdNr.: DE 235096871
Die Mehrwertsteuer wird auf meinen Rechnungen separat ausgewiesen.
Zusätzliche Angaben:
Die AGB im Volltext können Sie durch Anklicken der rechts über dem Fenster „Allgemeine Geschäftsbedingungen für dieses Angebot“ befindlichen Schaltfläche „Druckversion“ aufrufen.

Informationen zur Produktsicherheit und Barrierefreiheit

Info zu diesem Verkäufer

buch-mimpf

100% positive Bewertungen63.228 Artikel verkauft

Mitglied seit Mai 2017
Antwortet meist innerhalb 24 Stunden
Angemeldet als gewerblicher Verkäufer
Shop besuchenKontakt

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten
Genaue Beschreibung
4.9
Angemessene Versandkosten
4.9
Lieferzeit
5.0
Kommunikation
5.0

Verkäuferbewertungen (22.624)

Alle Bewertungen
Positiv
Neutral
Negativ