KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Sorting

Book

Algorithmik : Die Kunst des Rechnens (2010)

Harel, David ; Feldman, Yishai A. ; Krieger-Hauwede, M.

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

kobvindex_ZLB15117862

Format: XVIII, 608 Seiten , graph. Darst.

Edition: Nachdr.

ISBN: 9783642043383

Language: German

Keywords: Algorithmische Programmierung ; Softwareentwicklung ; Algorithmische Programmiersprache ; Programmverifikation ; Korrektheit ; Beweis ; Programmierung ; Effizienter Algorithmus ; Berechenbarkeit

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

Author information: Feldman, Yishai A.

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

hit 1 - 1 | 1 hit

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg