Kooperativer Bibliotheksverbund

UID:

Format: XV, 476 S. , graph. Darst.

Edition: 2. ed.

ISBN: 0201504014

Language: English

Subjects: Computer Science

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

URL: Inhaltstext

Author information: Harel, David 1950-

UID:

Format: XV, 476 S. : graph. Darst.

Edition: 2. ed., reprinted with corr.

ISBN: 0-201-50401-4

Language: English

Subjects: Computer Science

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

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017534737&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Inhaltsverzeichnis

URL: Inhaltstext

Author information: Harel, David 1950-