Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    Wokingham, England u.a. :Addison-Wesley,
    UID:
    almafu_BV002203093
    Format: XIV, 425 S. : graph. Darst.
    Edition: 1. pr., 1. repr.
    ISBN: 0-201-19240-3
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    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
    Author information: Harel, David 1950-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Book
    Book
    Wokingham, England u.a. : Addison-Wesley
    UID:
    b3kat_BV005138849
    Format: XIV, 425 S. , graph. Darst.
    Edition: Repr.
    ISBN: 0201192403
    Language: English
    Subjects: Computer Science
    RVK:
    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
    Author information: Harel, David 1950-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Did you mean 0201192101?
Did you mean 0201192497?
Did you mean 0201128403?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages