{"product_id":"9783658263010","title":"Logische und Methodische Grundlagen der Programm- und Systementwicklung","description":"\u003cdiv\u003eDieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und Programmentwicklung\u003c\/div\u003e\u003cdiv\u003eIn diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die Autoren vermitteln Studierenden der Informatik und Praktikern aus dem Bereich Software-Engineering, wie sie grundlegende Aufgaben der Programmentwicklung auf wissenschaftlicher Basis verstehen und bewältigen. Sie fassen alle behandelten wissenschaftlichen Ansätze und Methoden übersichtlich zusammen und führen diese anhand von praktischen Beispielen näher aus.\u003cbr\u003eDie Kernthemen des Werks im Überblick\u003c\/div\u003e\u003cdiv\u003eDas Buch „Logische und Methodische Grundlagen der Programm- und Systementwicklung“ widmet sich folgenden Themen:\u003c\/div\u003e\u003cdiv\u003e?\tAlgebraische Spezifikationen von Daten- und Rechenstrukturen \u003c\/div\u003e\u003cdiv\u003e?\tSpezifikation und Implementierung \u003c\/div\u003e\u003cdiv\u003e?\tNachweis der Korrektheit für funktionale, sequenzielle und objektorientierte Programmierung\u003c\/div\u003e\u003cdiv\u003e?\tKorrektheits- und Terminierungsbeweise\u003c\/div\u003e\u003cdiv\u003e?\tDesign-by-Contract \u003c\/div\u003e\u003cdiv\u003e?\tSchrittweise Verfeinerung\u003c\/div\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2019\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer Fachmedien Wiesbaden\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 781\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"Manfred Broy","offers":[{"title":"Default Title","offer_id":41264150446258,"sku":"9783658263010","price":51.02,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3658263016.01_SCLZZZZZZZ.jpg?v=1635991325","url":"https:\/\/readabook.store\/products\/9783658263010","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}