Articoli correlati a Formale Grundlagen der Programmierung
Sinossi
Der moderne und kompakte Einstieg in die formalen Grundlagen der Programmierung
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Dr. Tibor Jager graduated at Ruhr-University Bochum, Horst Görtz Institute for IT Security (Prof. Dr. Jörg Schwenk). He now works as a postdoctoral researcher at the Karlsruhe Institute of Technology.
Dalla quarta di copertina
Kompakt und leicht verständlich führt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax über Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt.
Der Inhalt
Syntax von Programmiersprachen - Semantik von Programmiersprachen - Die Grenzen des Berechenbaren
Die Zielgruppe
Studierende der Informatik im Bachelor-Studiengang an Fachhochschulen und Universitäten
Der Autor
Prof. Dr. Markus Nebel lehrt und forscht an der TU Kaiserslautern.
Die Reihe
"Studienbücher Informatik" wird herausgegeben von Prof. Dr. Walter Hower.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 36,58
GRATIS per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Formale Grundlagen der Programmierung
Foto dell'editore
Formale Grundlagen der Programmierung (Paperback)
Editore:
Springer Fachmedien Wiesbaden, Weisbaden, 2012
ISBN 10: 3834818895
ISBN 13: 9783834818898
Nuovo
Paperback
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Kompakt und leicht verstaendlich fuehrt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax ueber Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt. Kompakt und leicht verstaendlich fuehrt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax ueber Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783834818898
Quantità: 1 disponibili
Foto dell'editore
Formale Grundlagen Der Programmierung
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 2012 edition. 194 pages. German language. 9.29x6.61x0.47 inches. In Stock. Codice articolo 3834818895
Quantità: 1 disponibili
Foto dell'editore
Formale Grundlagen der Programmierung (Paperback)
Editore:
Springer Fachmedien Wiesbaden, Weisbaden, 2012
ISBN 10: 3834818895
ISBN 13: 9783834818898
Nuovo
Paperback
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Kompakt und leicht verstaendlich fuehrt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax ueber Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt. Kompakt und leicht verstaendlich fuehrt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax ueber Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Codice articolo 9783834818898
Quantità: 1 disponibili