Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Methods of Programming

Name: Methods of Programming
Brand: Springer, Berlin
SKU: 01565452
Price: 53.79 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540545767

Selected Papers on the CIP-Project

Manfred Broy

Martin Wirsing

Sprache

Englisch

Buch Broschur

Libristo-Code: 01565452

Verlag Springer, Berlin, November 1990

The systematic development of software systems is a central§task of computing science. A software sy... Vollständige Beschreibung

Libristo-Code: 01565452

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

??????? ?? ??? - ???????? ?????? Skov

MP3

2.49 €

Tropical Rainforests (French-English) Anita McCormick

Broschur

18.09 €

Escorpi?o Previs?es e Rituais 2024 Angeline A. Rubi

Broschur

21.29 €

Písemná a elektronická komunikace 3 Jiří Kroužek

Ring

6.49 €

Polska flaga narodowa

Papier- und Schreibwaren

6.59 €

Touristikkostenrechnung Christoph Benz

Broschur

39.99 €

Maodeking Stefan Blankertz

Broschur

10.00 €

Allgemeine Energiewirtschaftslehre Ludwig Musil

Broschur

55.29 €

De Liereman Lieuwe Schipper

Hardcover

18.79 €

Die Ringe des Saturn W. G. Sebald

Broschur

16.00 €

The systematic development of software systems is a central§task of computing science. A software system is the result§of putting together knowledge about the application, the§requirements and the structures of computing science.§Under the heading CIP (Computer-aided Intuition-guided§Programming), a group of researchers led by Prof. F.L. Bauer§and Prof. K. Samelson started work in 1975 in the direction§of formal program specification, transformational§programming, and tool supportfor program development.§The collection of papers in this volume presents examples of§a formal approach to programming language concepts and§program development based on algebraic specifications and§program transformations. Examples are also presented of§evolutions and modificationsof the original ideas of the§CIP project. The topics range from descriptionsof the§program development process to derivations of algorithms§from specifications.§The volume is dedicated to Prof. F.L. Bauer.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Methods of Programming

Autor Manfred Broy, Martin Wirsing

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1991

Anzahl der Seiten 250

EAN 9783540545767

ISBN 354054576X

Libristo-Code 01565452

Verlag Springer, Berlin

Gewicht 410

Abmessungen 155 x 235 x 15

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Betriebssysteme

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Skill Sharpeners: Grammar & Punctuation, Grade 1 Workbook Evan-Moor

Broschur

9.29 €

Dark Nights: Metal Scott Snyder

Broschur

19.79 €

Basic Christianity John Stott

Broschur

16.49 €

Starting At The Top!: A Who's Who of the Accused Donald Gorbach

Broschur

15.39 €

"Basic Life with Rhonda Gayle" Book Series: The Emotional Woman's Revelation: The Hidden Truth: The POWER of LOVE - LIFE - TRUTH Applied! Mrs Rhonda Gayle Turner Garner

Broschur

27.09 €