Verfügbarkeit: Logische und methodische Grundlagen der Programm- und Systementwicklung

Logische und methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Broy, Manfred 1949- (VerfasserIn), Malkis, Alexander (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Wiesbaden Springer Vieweg [2019]
Schriftenreihe:	Lehrbuch
Schlagworte:	Beweis Softwarespezifikation Korrektheit Systementwicklung Objektorientierte Programmierung Funktionale Programmierung Datenstruktur Softwareentwicklung Algebraische Spezifikation Algorithmische Programmierung paperback / softback UM Buch Programmentwicklung Buch Systementwicklung Datenstrukturen Engineering Manfred Broy Methoden funktionale Programmierung objektorientierte Programmierung sequenzielle Programmierung Lehrbuch
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	xiii, 451 Seiten Diagramme
ISBN:	9783658263010 3658263016

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV046136244
003	DE-604
005	20191217
007	t
008	190902s2019 gw \|\|\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 19,N15 \|2 dnb
015			\|a 19,A34 \|2 dnb
016	7		\|a 1182573398 \|2 DE-101
020			\|a 9783658263010 \|c Broschur : circa EUR 34.99 (DE), circa EUR 33.92 (AT), circa CHF 36.50 (freier Preis) \|9 978-3-658-26301-0
020			\|a 3658263016 \|9 3-658-26301-6
024	3		\|a 9783658263010
035			\|a (OCoLC)1122708097
035			\|a (DE-599)DNB1182573398
040			\|a DE-604 \|b ger \|e rda
041	0		\|a ger
044			\|a gw \|c XA-DE-HE
049			\|a DE-739 \|a DE-19 \|a DE-634 \|a DE-91G \|a DE-384 \|a DE-11
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a DAT 310f \|2 stub
100	1		\|a Broy, Manfred \|d 1949- \|e Verfasser \|0 (DE-588)109602137 \|4 aut
245	1	0	\|a Logische und methodische Grundlagen der Programm- und Systementwicklung \|b Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung \|c Manfred Broy ; unter Mitarbeit von Alexander Malkis
264		1	\|a Wiesbaden \|b Springer Vieweg \|c [2019]
264		4	\|c © 2019
300			\|a xiii, 451 Seiten \|b Diagramme
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Lehrbuch
650	0	7	\|a Beweis \|0 (DE-588)4132532-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Korrektheit \|0 (DE-588)4240223-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systementwicklung \|0 (DE-588)4126945-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Objektorientierte Programmierung \|0 (DE-588)4233947-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Funktionale Programmierung \|0 (DE-588)4198740-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Datenstruktur \|0 (DE-588)4011146-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Algebraische Spezifikation \|0 (DE-588)4207192-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Algorithmische Programmierung \|0 (DE-588)4293504-0 \|2 gnd \|9 rswk-swf
653			\|a paperback / softback
653			\|a UM
653			\|a Buch Programmentwicklung
653			\|a Buch Systementwicklung
653			\|a Datenstrukturen
653			\|a Engineering
653			\|a Manfred Broy
653			\|a Methoden
653			\|a funktionale Programmierung
653			\|a objektorientierte Programmierung
653			\|a sequenzielle Programmierung
653			\|a UM
655		7	\|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Systementwicklung \|0 (DE-588)4126945-7 \|D s
689	0	1	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	2	\|a Datenstruktur \|0 (DE-588)4011146-5 \|D s
689	0	3	\|a Algebraische Spezifikation \|0 (DE-588)4207192-6 \|D s
689	0	4	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|D s
689	0	5	\|a Funktionale Programmierung \|0 (DE-588)4198740-8 \|D s
689	0	6	\|a Algorithmische Programmierung \|0 (DE-588)4293504-0 \|D s
689	0	7	\|a Objektorientierte Programmierung \|0 (DE-588)4233947-9 \|D s
689	0	8	\|a Korrektheit \|0 (DE-588)4240223-2 \|D s
689	0	9	\|a Beweis \|0 (DE-588)4132532-1 \|D s
689	0		\|5 DE-604
700	1		\|a Malkis, Alexander \|e Verfasser \|0 (DE-588)1095673335 \|4 aut
710	2		\|a Springer Fachmedien Wiesbaden \|0 (DE-588)1043386068 \|4 pbl
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe, eBook \|z 978-3-658-26302-7
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031516565&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-031516565

Datensatz im Suchindex

_version_	1804180463985623040
adam_text	INHALTSVERZEICHNIS 1 EINFUEHRUNG IN DIE GRUNDLAGEN DER SOFTWAREENTWICKLUNG ............ 1 1.1 SOFTWAREENTWICKLUNG .................................................................. 1 1.2 DIE SOFTWARE- UND PROGRAMMENTWICKLUNGSAUFGABE .................. 5 1.3 STRUKTURIERUNG UND ABSTRAKTION IN DER SYSTEMENTWICKLUNG ... 10 1.4 MODELLIERUNG IN DER SYSTEMENTWICKLUNG .................................. 11 1.4.1 MODELLIERUNG DER PROBLEMSTELLUNG UND DER ANFORDERUNGEN ................................................................ 14 1.4.2 MODELLIERUNG DER LOESUNGSARCHITEKTUR .......................... 15 1.4.3 IMPLEMENTIERUNG UND DEREN MODELLIERUNG SOWIE VERIFIKATION ...................................................................... 16 1.5 ASPEKTE DER MODELLBILDUNG ........................................................ 16 1.5.1 DESKRIPTIVE VERSUS OPERATIONELLE BESCHREIBUNGEN ........ 17 1.5.2 NUTZUNGS- UND REALISIERUNGSSICHT ................................... 17 1.5.3 ABSTRAKTIONSEBENEN UND SCHICHTENARCHITEKTUREN .......... 18 1.5.4 ZUM BEGRIFF DES MODELLS ................................................ 19 1.6 BESONDERE ENTWICKLUNGSANSAETZE ................................................ 20 1.6.1 AGILITAET ............................................................................. 20 1.6.2 LERNENDE SYSTEME .......................................................... 21 1.7 DER EINFLUSS DER NOTATION ........................................................... 22 1.8 HISTORISCHE BEMERKUNGEN .......................................................... 24 1.8.1 PROGRAMMIERSPRACHEN .................................................... 25 1.8.2 PROGRAMMIERMETHODIK .................................................... 27 1.8.3 STRUKTURIERUNG GROSSER SYSTEME ...................................... 28 1.8.4 METHODEN ZUR SYSTEMATISCHEN ENTWICKLUNG VON SOFTWARE .......................................................................... 29 1.9 HISTORISCHE BEMERKUNGEN .......................................................... 31 1.10 UEBUNGSAUFGABEN .......................................................................... 32 2 RECHEN- UND DATENSTRUKTUREN .......................................................... 33 2.1 RECHENSTRUKTUREN .......................................................................... 33 2.1.1 DIE BEDEUTUNG DES KONZEPTS DER RECHENSTRUKTUR ........ 35 IX X INHALTSVERZEICHNIS 2.1.2 NUTZUNGS-UND REALISIERUNGSSICHT FUER RECHENSTRUKTUREN 36 2.1.3 SIGNATUREN ........................................................................ 40 2.1.4 Z-ALGEBREN ...................................................................... 43 2.1.5 TERME UEBER EINER SIGNATUR .............................................. 47 2.1.6 ERWEITERUNGEN VON ALGEBREN .......................................... 51 2.1.7 HOMOMORPHISMEN .......................................................... 53 2.1.8 ALLGEMEINE BEMERKUNGEN ZU RECHENSTRUKTUREN .......... 63 2.2 BESCHREIBUNG VON DATEN- UND RECHENSTRUKTUREN ...................... 64 2.2.1 MODELLORIENTIERTE BESCHREIBUNG VON RECHENSTRUKTUREN 66 2.2.2 EIGENSCHAFTSORIENTIERTE BESCHREIBUNG VON RECHENSTRUKTUREN ............................................................ 73 2.3 HISTORISCHE BEMERKUNGEN ZU DATENSTRUKTUREN .......................... 75 2.4 UEBUNGEN ........................................................................................ 78 3 ALGEBRAISCHE DATENMODELLIERUNG ...................................................... 81 3.1 ALGEBRAISCHE SPEZIFIKATION .......................................................... 82 3.1.1 FORMELN UND IHRE BEDEUTUNG .......................................... 82 3.1.2 SYNTAX FUER ALGEBRAISCHE SPEZIFIKATIONEN ...................... 87 3.1.3 STRUKTURIERUNG AXIOMATISCHER SPEZIFIKATIONEN .............. 91 3.1.4 MODELLE AXIOMATISCHER SPEZIFIKATIONEN ........................ 95 3.1.5 WESENTLICHE BEGRIFFE AUS DER ORDNUNGSTHEORIE .............. 108 3.1.6 VERBANDSSTRUKTUR DER MODELLE EINER SPEZIFIKATION .... 109 3.1.7 ABLEITUNG VON EIGENSCHAFTEN AUS AXIOMATISCHEN SPEZIFIKATIONEN ................................................................. 114 3.1.8 EIGENSCHAFTEN ALGEBRAISCHER SPEZIFIKATIONEN .................. 121 3.2 WICHTIGE BEISPIELE FUER SPEZIFIKATIONEN VON RECHENSTRUKTUREN . 122 3.2.1 DIE WAHRHEITS WERTE ......................................................... 122 3.2.2 ZAHLARTIGE RECHENSTRUKTUREN ........................................... 123 3.2.3 SEQUENZARTIGE RECHENSTRUKTUREN ..................................... 125 3.2.4 BAEUME ............................................................................... 129 3.2.5 MENGEN ............................................................................. 130 3.2.6 FELDER ................................................................................. 133 3.2.7 GRAPHEN ............................................................................. 134 3.3 IMPLEMENTIERUNG ALGEBRAISCHER SPEZIFIKATIONEN IN PROGRAMMIERSPRACHEN ................................................................... 137 3.3.1 DATENTYPDEKLARATIONEN ALS ALGEBRAISCHE SPEZIFIKATIONEN 137 3.3.2 NAMEN- UND STRUKTURAEQUIVALENZ ..................................... 140 3.3.3 ENTITAETS/RELATIONEN-BEZIEHUNGSMODELLIERUNG ................ 143 3.3.4 OBJEKTORIENTIERTE DATENMODELLIERUNG .............................. 147 3.3.5 DAS FORMALE OBJEKTMODELL ............................................. 149 3.4 METHODISCHE ASPEKTE DER DATENMODELLIERUNG ............................ 151 3.4.1 ANFORDERUNGSSPEZIFIKATION ............................................. 152 3.4.2 FUNKTIONSANREICHERUNG ..................................................... 153 3.4.3 NORMALFORMEN UND EINDEUTIGE NORMALFORMEN .............. 153 3.5 PARTIELLE ALGEBREN, AUSNAHMEN UND FEHLERALGEBREN ................ 154 INHALTSVERZEICHNIS XI 3.5.1 FUNKTIONSAUFRUFE OHNE REGULAERE ERGEBNISSE .................... 155 3.5.2 DIE LOGIK DES UNDEFINIERTEN ........................................... 163 3.5.3 VON DER UNTERSPEZIFIKATION ZUR SPEZIFIKATION DES UNDEFINIERTEN ................................................................... 167 3.5.4 FEHLERELEMENTE ALS AUSNAHMEN ........................................ 171 3.5.5 BEWERTUNG DER ANSAETZE ................................................... 173 3.6 SUBTYPING ....................................................................................... 174 3.7 HISTORISCHE BEMERKUNGEN ........................................................... 175 3.8 UEBUNGSAUFGABEN ........................................................................... 177 4 FUNKTIONALE PROGRAMMIERUNG ............................................................ 187 4.1 KONZEPTE FUNKTIONALER PROGRAMMIERUNG ..................................... 190 4.1.1 FUNKTIONSDEKLARATION ........................................................ 191 4.1.2 BEDINGTE AUSWAHLFUNKTION ............................................. 194 4.1.3 NICHTSEQUENZIELLE FUNKTIONEN ......................................... 195 4.2 AUSWERTUNG VON TERMEN: REKURSION UND BERECHNUNG .............. 199 4.2.1 REKURSIVE DEKLARATION ..................................................... 199 4.2.2 EXPLIZITE GLEICHUNGEN UND STRUKTURELLE REKURSION .... 200 4.2.3 OPERATIONELLE SEMANTIK FUNKTIONALER PROGRAMME ........ 202 4.2.4 FIXPUNKTSEMANTIK FUER REKURSIVE DEKLARATION ................. 204 4.3 BEWEISPRINZIPIEN FUER REKURSION ................................................... 213 4.3.1 BERECHNUNGSINDUKTION ..................................................... 213 4.3.2 BEWEIS DURCH FIXPUNKTEIGENSCHAFTEN ............................. 216 4.3.3 STRUKTURELLEINDUKTION .....................................................218 4.3.4 TERMINIERUNGSBEWEISE ..................................................... 220 4.4 METHODIK FUNKTIONALER PROGRAMMIERUNG ...................................229 4.4.1 STRUKTURIERUNG FUNKTIONALER PROGRAMME ....................... 230 4.4.2 EINBETTUNG .........................................................................232 4.5 FUNKTIONALE SORTEN UND FUNKTIONEN HOEHERER STUFE ..................... 234 4.5.1 FUNKTIONALE SORTEN ........................................................... 234 4.5.2 CURRYING ........................................................................... 237 4.5.3 DIE ROLLE FORMALER PARAMETER ......................................... 240 4.5.4 TUPEL .................................................................................242 4.5.5 DER FIXPUNKTOPERATOR ....................................................... 243 4.6 SPEZIFIKATION FUNKTIONALER PROGRAMME ....................................... 244 4.6.1 ALGEBRAISCHE SPEZIFIKATION VON FUNKTIONEN .................. 245 4.6.2 PRAEDIKATIVE SPEZIFIKATION VON FUNKTIONEN ..................... 247 4.6.3 ZUSAMMENHANG ZWISCHEN SPEZIFIKATIONEN UND FUNKTIONALEN PROGRAMMEN ............................................... 249 4.7 HISTORISCHE BEMERKUNGEN ........................................................... 251 4.8 UEBUNGSAUFGABEN ........................................................................... 253 XII INHALTSVERZEICHNIS 5 ANWEISUNGSORIENTIERTE, SEQUENZIELLE PROGRAMME ........................... 257 5.1 ANWEISUNGEN ................................................................................. 258 5.1.1 GRUNDLEGENDE SPRACHFORMEN, SYNTAX DER GCL ............259 5.2 ZUSTAENDE UND ZUSTANDSUEBERGAENGE ............................................... 264 5.2.1 PROZEDUREN ....................................................................... 268 5.3 LOGIK ZUWEISUNGSORIENTIERTER PROGRAMME ................................. 270 5.3.1 SCHWAECHSTE VORBEDINGUNGEN ........................................... 271 5.3.2 PRAEDIKATIVE SEMANTIK VON ANWEISUNGEN ........................ 281 5.3.3 PRAEDIKATIVE SPEZIFIKATION DER WIRKUNG VON ANWEISUNGEN ..................................................................... 288 5.3.4 PRAEDIKATIVE SPEZIFIKATION VON PROZEDUREN: KONTRAKTE . 290 5.3.5 VERIFIKATION VON ANWEISUNGEN DURCH ZUSICHERUNGEN .. 291 5.3.6 TERMINIERUNGSBEWEISE ..................................................... 299 5.3.7 ZUSAMMENHANG ZWISCHEN WP-KALKUEL, ZUSICHERUNGSKALKUEL UND PRAEDIKATIVER SPEZIFIKATION ... 301 5.4 HISTORISCHE BEMERKUNGEN ........................................................... 304 5.5 UEBUNGSAUFGABEN ...........................................................................304 6 REFERENZEN, ZEIGER UND ORGANISIERTER SPEICHER ................................ 311 6.1 REFERENZEN .....................................................................................314 6.1.1 DAS KONZEPT DER REFERENZ ............................................... 314 6.1.2 ZUSTANDSFREIE EINFACHE GEFLECHTSTRUKTUREN ..................... 317 6.2 ZUSTANDSFREIE, ZYKLISCHE GEFLECHTSTRUKTUREN ............................... 322 6.3 ALLGEMEINE GEFLECHTE: DER ORGANISIERTE SPEICHER ....................... 325 6.3.1 FUNKTIONEN FUER ORGANISIERTE SPEICHER ............................. 326 6.4 PROGRAMMVARIABLE UND REFERENZ ................................................. 332 6.5 DIE ROLLE DER REFERENZEN IN DER PROGRAMMIERUNG ..................... 333 6.6 AUSBLICK: SEPARATIONSLOGIK ....................... 335 6.7 HISTORISCHE BEMERKUNGEN ........................................................... 339 6.8 UEBUNGSAUFGABEN ........................................................................... 340 7 VERFEINERUNG ......................................................................................... 343 7.1 DIE GRUNDLEGENDE IDEE DER VERFEINERUNG ................................... 344 7.2 SCHRITTWEISE VERFEINERUNG ........................................................... 348 7.2.1 VERFEINERUNG VON SPEZIFIKATIONEN FUNKTIONALER PROGRAMME ....................................................................... 348 7.2.2 VERFEINERUNG FUER FUNKTIONALE SPEZIFIKATIONEN ............... 352 7.2.3 VERFEINERUNG ALGEBRAISCHER SPEZIFIKATIONEN ................. 355 7.2.4 VERFEINERUNG IM ZUSICHERUNGSKALKUEL ............................. 360 7.2.5 TRAGWEITE DES VERFEINERUNGSANSATZES ............................. 363 7.3 WECHSEL DER ABSTRAKTIONSEBENE ................................................... 364 7.3.1 WECHSEL DER RECHENSTRUKTUR ........................................... 364 7.3.2 DIE IMPLEMENTIERUNGSRELATION FUER RECHENSTRUKTUREN .. 367 7.3.3 IMPLEMENTIERUNG ALGEBRAISCHER SPEZIFIKATIONEN ........... 370 7.3.4 KONSTRUKTION VON IMPLEMENTIERUNGEN ........................... 375 INHALTSVERZEICHNIS XIII 7.4 HISTORISCHE BEMERKUNGEN ZUR VERFEINERUNG ............................... 375 7.5 UEBUNGSAUFGABEN ........................................................................... 377 8 GRUNDLAGEN DER OBJEKTORIENTIERUNG ................................................ 381 8.1 OBJEKTORIENTIERTE PROGRAMMIERUNG ............................................. 382 8.1.1 AUFBAU OBJEKTORIENTIERTER PROGRAMME ........................... 384 8.1.2 VERERBUNG ......................................................................... 389 8.1.3 MODULE UND OBJEKTBASIERUNG ......................................... 391 8.1.4 PERSISTENZ UND DYNAMISCHES ERZEUGEN VON OBJEKTEN .. 392 8.2 SPEZIFIKATION OBJEKTORIENTIERTER PROGRAMME: DESIGN-BY- CONTRACT ....................................................................................... 393 8.3 OBJEKTORIENTIERTER ENTWURF ...........................................................396 8.4 KOMPONENTEN UND SCHNITTSTELLEN IN DER OBJEKTORIENTIERUNG ... 398 8.4.1 KOMPONENTEN IN DER OBJEKTORIENTIERUNG ....................... 398 8.4.2 METHODEN UND AUFRUFE/ANTWORTNACHRICHTEN ................ 399 8.4.3 SPEZIFIKATION DURCH VERTRAG - DESIGN-BY-CONTRACT .... 401 8.4.4 OBJEKTORIENTIERTE EXPORTSCHNITTSTELLEN ........................... 404 8.4.5 SPEZIFIKATION VON EXPORTSCHNITTSTELLEN DURCH KONTRAKTE408 8.4.6 OFFENE SYSTEME: KLASSEN MIT EXPORT UND IMPORT ........408 8.4.7 SPEZIFIKATION VON EXPORT-/IMPORTSCHNITTSTELLEN MITTELS VERTRAG ................................................................. 411 8.4.8 EXPORT-/IMPORTSCHNITTSTELLEN: ENTWURF MITTELS VERTRAG .413 8.5 KOMPONENTEN UND ARCHITEKTUR IN DER OBJEKTORIENTIERUNG .... 415 8.5.1 KOMPONENTEN ALS MENGE VON KLASSEN .......................... 416 8.5.2 KOMPOSITION VON KLASSEN .............................................. 419 8.5.3 KOMPOSITION: SCHNITTSTELLEN VON KOMPONENTEN VERBINDEN ........................................................................... 421 8.5.4 SPEZIFIKATION UND VERIFIKATION ZUSAMMENGESETZTER KOMPONENTEN ................................................................... 422 8.6 VERFEINERUNG IN DER OBJEKTORIENTIERUNG ..................................... 424 8.7 HISTORISCHE BEMERKUNGEN ...........................................................425 8.8 UEBUNGSAUFGABEN ........................................................................... 426 9 AUSBLICK: PARALLEL ABLAUFENDE, VERTEILTE, KOOPERIERENDE SYSTEME 435 LITERATURVERZEICHNIS .....................................................................................437 SYMBOLVERZEICHNIS ........................................................................................ 445 SACHVERZEICHNIS ............................................................................................. 447
any_adam_object	1
author	Broy, Manfred 1949- Malkis, Alexander
author_GND	(DE-588)109602137 (DE-588)1095673335
author_facet	Broy, Manfred 1949- Malkis, Alexander
author_role	aut aut
author_sort	Broy, Manfred 1949-
author_variant	m b mb a m am
building	Verbundindex
bvnumber	BV046136244
classification_rvk	ST 230
classification_tum	DAT 310f
ctrlnum	(OCoLC)1122708097 (DE-599)DNB1182573398
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03586nam a2200829 c 4500</leader><controlfield tag="001">BV046136244</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191217 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">190902s2019 gw \|\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">19,N15</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">19,A34</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1182573398</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783658263010</subfield><subfield code="c">Broschur : circa EUR 34.99 (DE), circa EUR 33.92 (AT), circa CHF 36.50 (freier Preis)</subfield><subfield code="9">978-3-658-26301-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3658263016</subfield><subfield code="9">3-658-26301-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783658263010</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1122708097</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1182573398</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-HE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Broy, Manfred</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109602137</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logische und methodische Grundlagen der Programm- und Systementwicklung</subfield><subfield code="b">Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung</subfield><subfield code="c">Manfred Broy ; unter Mitarbeit von Alexander Malkis</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Springer Vieweg</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 451 Seiten</subfield><subfield code="b">Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lehrbuch</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenstruktur</subfield><subfield code="0">(DE-588)4011146-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmische Programmierung</subfield><subfield code="0">(DE-588)4293504-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">paperback / softback</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">UM</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Buch Programmentwicklung</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Buch Systementwicklung</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Datenstrukturen</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Engineering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Manfred Broy</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Methoden</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">funktionale Programmierung</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">objektorientierte Programmierung</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">sequenzielle Programmierung</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">UM</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Datenstruktur</subfield><subfield code="0">(DE-588)4011146-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Algorithmische Programmierung</subfield><subfield code="0">(DE-588)4293504-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="8"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="9"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Malkis, Alexander</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1095673335</subfield><subfield code="4">aut</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Springer Fachmedien Wiesbaden</subfield><subfield code="0">(DE-588)1043386068</subfield><subfield code="4">pbl</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe, eBook</subfield><subfield code="z">978-3-658-26302-7</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031516565&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031516565</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV046136244
illustrated	Not Illustrated
indexdate	2024-07-10T08:36:10Z
institution	BVB
institution_GND	(DE-588)1043386068
isbn	9783658263010 3658263016
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-031516565
oclc_num	1122708097
open_access_boolean
owner	DE-739 DE-19 DE-BY-UBM DE-634 DE-91G DE-BY-TUM DE-384 DE-11
owner_facet	DE-739 DE-19 DE-BY-UBM DE-634 DE-91G DE-BY-TUM DE-384 DE-11
physical	xiii, 451 Seiten Diagramme
publishDate	2019
publishDateSearch	2019
publishDateSort	2019
publisher	Springer Vieweg
record_format	marc
series2	Lehrbuch
spelling	Broy, Manfred 1949- Verfasser (DE-588)109602137 aut Logische und methodische Grundlagen der Programm- und Systementwicklung Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung Manfred Broy ; unter Mitarbeit von Alexander Malkis Wiesbaden Springer Vieweg [2019] © 2019 xiii, 451 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lehrbuch Beweis (DE-588)4132532-1 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Korrektheit (DE-588)4240223-2 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Objektorientierte Programmierung (DE-588)4233947-9 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf Datenstruktur (DE-588)4011146-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Algorithmische Programmierung (DE-588)4293504-0 gnd rswk-swf paperback / softback UM Buch Programmentwicklung Buch Systementwicklung Datenstrukturen Engineering Manfred Broy Methoden funktionale Programmierung objektorientierte Programmierung sequenzielle Programmierung (DE-588)4123623-3 Lehrbuch gnd-content Systementwicklung (DE-588)4126945-7 s Softwareentwicklung (DE-588)4116522-6 s Datenstruktur (DE-588)4011146-5 s Algebraische Spezifikation (DE-588)4207192-6 s Softwarespezifikation (DE-588)4056186-0 s Funktionale Programmierung (DE-588)4198740-8 s Algorithmische Programmierung (DE-588)4293504-0 s Objektorientierte Programmierung (DE-588)4233947-9 s Korrektheit (DE-588)4240223-2 s Beweis (DE-588)4132532-1 s DE-604 Malkis, Alexander Verfasser (DE-588)1095673335 aut Springer Fachmedien Wiesbaden (DE-588)1043386068 pbl Erscheint auch als Online-Ausgabe, eBook 978-3-658-26302-7 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031516565&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Broy, Manfred 1949- Malkis, Alexander Logische und methodische Grundlagen der Programm- und Systementwicklung Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung Beweis (DE-588)4132532-1 gnd Softwarespezifikation (DE-588)4056186-0 gnd Korrektheit (DE-588)4240223-2 gnd Systementwicklung (DE-588)4126945-7 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Datenstruktur (DE-588)4011146-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Algorithmische Programmierung (DE-588)4293504-0 gnd
subject_GND	(DE-588)4132532-1 (DE-588)4056186-0 (DE-588)4240223-2 (DE-588)4126945-7 (DE-588)4233947-9 (DE-588)4198740-8 (DE-588)4011146-5 (DE-588)4116522-6 (DE-588)4207192-6 (DE-588)4293504-0 (DE-588)4123623-3
title	Logische und methodische Grundlagen der Programm- und Systementwicklung Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung
title_auth	Logische und methodische Grundlagen der Programm- und Systementwicklung Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung
title_exact_search	Logische und methodische Grundlagen der Programm- und Systementwicklung Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung
title_full	Logische und methodische Grundlagen der Programm- und Systementwicklung Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung Manfred Broy ; unter Mitarbeit von Alexander Malkis
title_fullStr	Logische und methodische Grundlagen der Programm- und Systementwicklung Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung Manfred Broy ; unter Mitarbeit von Alexander Malkis
title_full_unstemmed	Logische und methodische Grundlagen der Programm- und Systementwicklung Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung Manfred Broy ; unter Mitarbeit von Alexander Malkis
title_short	Logische und methodische Grundlagen der Programm- und Systementwicklung
title_sort	logische und methodische grundlagen der programm und systementwicklung datenstrukturen funktionale sequenzielle und objektorientierte programmierung
title_sub	Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung
topic	Beweis (DE-588)4132532-1 gnd Softwarespezifikation (DE-588)4056186-0 gnd Korrektheit (DE-588)4240223-2 gnd Systementwicklung (DE-588)4126945-7 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Datenstruktur (DE-588)4011146-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Algorithmische Programmierung (DE-588)4293504-0 gnd
topic_facet	Beweis Softwarespezifikation Korrektheit Systementwicklung Objektorientierte Programmierung Funktionale Programmierung Datenstruktur Softwareentwicklung Algebraische Spezifikation Algorithmische Programmierung Lehrbuch
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031516565&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT broymanfred logischeundmethodischegrundlagenderprogrammundsystementwicklungdatenstrukturenfunktionalesequenzielleundobjektorientierteprogrammierung AT malkisalexander logischeundmethodischegrundlagenderprogrammundsystementwicklungdatenstrukturenfunktionalesequenzielleundobjektorientierteprogrammierung AT springerfachmedienwiesbaden logischeundmethodischegrundlagenderprogrammundsystementwicklungdatenstrukturenfunktionalesequenzielleundobjektorientierteprogrammierung

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge