Kompakt und leicht verständlich führt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von dr Syntax über Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt.
Die Publikation Formale Grundlagen der Programmierung von Markus Nebel ist bei Vieweg & Teubner erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Big-Step-Semantik, Chomsky-Hierarchie, Churchsche These, denotationelle Semantik, Keller-Automaten, Kleene, partiell-rekursive Funktionen, Primitive Rekursion, Programmiersprachen, Registermaschine, Semantik, Small-Step-Semantik, Turing-Maschinen. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 15.28 EUR und in Österreich 15.28 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!
