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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Prof. Dr. Markus Nebel, TU Kaiserlautern, Fachbereich Informatik
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
EUR 4,91 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur S0-9783834818898
Quantité disponible : 1 disponible(s)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Paperback. Etat : Brand New. 2012 edition. 194 pages. German language. 9.29x6.61x0.47 inches. In Stock. N° de réf. du vendeur __3834818895
Quantité disponible : 1 disponible(s)