Kooperativer Bibliotheksverbund

UID:

Format: XXII, 572 S. : , graph. Darst.

Edition: 3. ed.

ISBN: 978-3-642-27265-3 , 3-642-27265-7

Language: English

Subjects: Computer Science

Keywords: Algorithmus ; Programmierung ; Programmiersprache ; Korrektheit ; Programmverifikation ; Effizienter Algorithmus ; Komplexitätstheorie ; Berechenbarkeit ; Softwareentwicklung ; Algorithmische Programmiersprache ; Programmverifikation ; Korrektheit ; Beweis ; Programmierung ; Effizienter Algorithmus ; Berechenbarkeit ; Algorithmus ; Informatik ; Algorithmus ; Datenverarbeitung ; Algorithmische Programmierung ; Algorithmentheorie

URL: Inhaltstext

URL: Inhaltsverzeichnis

Author information: Feldman, Yishai A. 1958-

Author information: Harel, David 1950-

UID:

Format: XXII, 572 S. : , graph. Darst.

Edition: 3. ed.

ISBN: 978-3-642-27265-3 , 3-642-27265-7

Language: English

Subjects: Computer Science

Keywords: Algorithmus ; Programmierung ; Programmiersprache ; Korrektheit ; Programmverifikation ; Effizienter Algorithmus ; Komplexitätstheorie ; Berechenbarkeit ; Softwareentwicklung ; Algorithmische Programmiersprache ; Programmverifikation ; Korrektheit ; Beweis ; Programmierung ; Effizienter Algorithmus ; Berechenbarkeit ; Algorithmus ; Informatik ; Algorithmus ; Datenverarbeitung ; Algorithmische Programmierung ; Algorithmentheorie

URL: Inhaltstext

URL: Inhaltsverzeichnis

Author information: Harel, David 1950-

Author information: Feldman, Yishai A., 1958-

UID:

Format: XXII, 572 S. , graph. Darst.

Edition: 3. ed.

ISBN: 9783642272653 , 3642272657

Language: English

Subjects: Computer Science

Keywords: Algorithmus ; Programmierung ; Programmiersprache ; Korrektheit ; Programmverifikation ; Effizienter Algorithmus ; Komplexitätstheorie ; Berechenbarkeit ; Softwareentwicklung ; Algorithmische Programmiersprache ; Programmverifikation ; Korrektheit ; Beweis ; Programmierung ; Effizienter Algorithmus ; Berechenbarkeit ; Algorithmus ; Informatik ; Algorithmus ; Datenverarbeitung ; Algorithmische Programmierung ; Algorithmentheorie

URL: Inhaltstext

URL: Inhaltsverzeichnis

Author information: Feldman, Yishai A. 1958-

Author information: Harel, David 1950-

UID:

Format: XII, 572 Seiten , Ill., graph. Darst.

Edition: 3. ed.

ISBN: 9783642272653 , 3642272657

Language: English

Keywords: Algorithmus ; Programmierung ; Programmiersprache ; Korrektheit ; Programmverifikation

URL: http://deposit.dnb.de/cgi-bin/dokserv?id=3929829&prov=M&dok_var=1&dok_ext=htm

Author information: Feldman, Yishai A.

UID:

Format: XXII, 572 Seiten , Illustrationen , 235 mm x 155 mm

Edition: 3., edition

ISBN: 3642272657 , 9783642272653 , 9783642441356

Uniform Title: Algorithmik - Die Kunst des Rechnens

Note: 3. ed. ursprünglich erschienen im Verlag Pearson Education Limited 2004 , Includes bibliographical references (p. [433]-493) and index , Hier auch später erschienene, unveränderte Nachdrucke

Additional Edition: ISBN 9783642441356

Additional Edition: ISBN 9783642272660

Language: English

Subjects: Computer Science

Keywords: Algorithmus ; Programmierung ; Programmiersprache ; Korrektheit ; Programmverifikation ; Effizienter Algorithmus ; Komplexitätstheorie ; Berechenbarkeit

URL: Inhaltstext

URL: Inhaltsverzeichnis

URL: Cover

URL: Inhaltstext

Author information: Feldman, Yishai A. 1958-

Author information: Harel, David 1950-