Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

A Programming Approach to Computability

Name: A Programming Approach to Computability
Brand: Springer, Berlin
SKU: 02174423
Price: 63.59 EUR
Availability: InStock
Author: A.J. Kfoury
ISBN: 9781461257516

A.J. Kfoury

Robert N. Moll

Michael A. Arbib

Sprache

Englisch

Buch Broschur

Libristo-Code: 02174423

Verlag Springer, Berlin, November 2011

Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its b... Vollständige Beschreibung

Libristo-Code: 02174423

156 b

63.59 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

SOLDADURA MAG DE CHAPAS DE ACERO AL CARBONO ALONSO MARCOS

Broschur

28.49 €

Puls życia NEON. Szkoła podstawowa klasa 7. Zeszyt ćwiczeń. Nowa edycja 2023-2025 Januszewska-Hasiec Barbara

Broschur

6.59 €

Das Erbe Sahar Khalifa

Broschur

10.90 €

Nicht totzukriegen Claus Vaske

Broschur

11.99 €

Crecer haciendo crecer MARCET

Broschur

16.69 €

Handbuch des Blockflötenspiels Hans-Martin Linde

Broschur

31.79 €

Die Umweltprüfung in der Gemeinde Jürgen Busse

Broschur

49.95 €

It’s time to say goodbye Sergio Temelini

Broschur

13.79 €

Usagi Yojimbo T01 - Format Manga

Broschur

9.59 €

Activistas por la vida GERVASIO SANCHEZ

Hardcover

41.89 €

Die Hütte im Wald Marcus Bann?

Hardcover

24.99 €

Neue Geschichten für Jung und Alt Monika Alke

Broschur

8.00 €

LA DISTANCIA PABLO ARANDA

Hardcover

20.09 €

Enzyklopadie und Methodologie der englischen Philologie Gustav Körting

Broschur

31.90 €

Comunicación de crisis 2.0 CASTILLO ESPARCIA

Broschur

16.99 €

Lustig,Frisch Und Boarisch G'sunga Geschwister Diewald

Audio CD

15.99 €

Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results were discovered by mathematical logicians prior to the development of the first stored-program computer. As a result, many texts on computability theory strike today's computer science students as far removed from their concerns. To remedy this, we base our approach to computability on the language of while-programs, a lean subset of PASCAL, and postpone consideration of such classic models as Turing machines, string-rewriting systems, and p. -recursive functions till the final chapter. Moreover, we balance the presentation of un solvability results such as the unsolvability of the Halting Problem with a presentation of the positive results of modern programming methodology, including the use of proof rules, and the denotational semantics of programs. Computer science seeks to provide a scientific basis for the study of information processing, the solution of problems by algorithms, and the design and programming of computers. The last 40 years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the develop ment of mathematical techniques to allow the rigorous specification of program, process, and machine.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name A Programming Approach to Computability

Autor A.J. Kfoury, Robert N. Moll, Michael A. Arbib

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 251

EAN 9781461257516

ISBN 1461257514

Libristo-Code 02174423

Verlag Springer, Berlin

Gewicht 409

Abmessungen 155 x 235 x 14

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

Mathematik und Naturwissenschaften > Mathematik > Angewandte Mathematik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

Lifestyle, Hobbys und Freizeit > Garten und Gärtnern

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert