分享给好友:
The Generic Development Language Deva: Presentation and Case Studies - Lecture Notes in Computer Science Matthias Weber 1993 edition
The Generic Development Language Deva: Presentation and Case Studies - Lecture Notes in Computer Science
Matthias Weber
This is a comprehensive description of the generic development language Deva, developed by authors at the Berlin University of Technology. The practical applications of Deva, a typed functional language with certain deduction rules, are then tested in several case studies.
251 pages, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 1993年10月28日 |
| ISBN13 | 9783540573357 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 251 |
| 商品尺寸 | 216 × 279 × 14 mm · 381 g |
| 语言 | 英语 |
Matthias Weber的更多作品
显示全部![Cover for Matthias Weber · Fahrplan fur Projektmanagement in sechs Schritten: So behalten Sie Kosten, Termine und Reifegrad im Blick - essentials (Paperback Book) [1. Aufl. 2021 edition] (2021)](https://imusic.com.cn/local-image/images/item/original/784/9783658339784.jpg?matthias-weber-2021-fahrplan-fur-projektmanagement-in-sechs-schritten-so-behalten-sie-kosten-termine-und-reifegrad-im-blick-essentials-paperback-book&class=scaled&v=1620143033)
![Cover for Matthias Weber · Braun Und Rot Gleich Eins?: Die Rahmenbedingungen Der Journalistischen Arbeit in Der Vorkriegsphase Des Nationalsozialismus Und in Der Frühen Ddr (Paperback Book) [German edition] (2013)](https://imusic.com.cn/local-image/images/item/original/428/9783639474428.jpg?matthias-weber-2013-braun-und-rot-gleich-eins-die-rahmenbedingungen-der-journalistischen-arbeit-in-der-vorkriegsphase-des-nationalsozialismus-und-in-der-fruhen-ddr-paperback-book&class=scaled&v=1473209784)
![Cover for Matthias Weber · Wettbewerb als motivationaler Aspekt in Computerspielen: Eine Betrachtung ausgewahlter Konzepte (Paperback Book) [German edition] (2010)](https://imusic.com.cn/local-image/images/item/original/603/9783640651603.jpg?matthias-weber-2010-wettbewerb-als-motivationaler-aspekt-in-computerspielen-eine-betrachtung-ausgewahlter-konzepte-paperback-book&class=scaled&v=1408399142)
![Cover for Matthias Weber · User Profiling - Benutzermodelle und mobile Endgerate (Paperback Book) [German edition] (2009)](https://imusic.com.cn/local-image/images/item/original/637/9783640337637.jpg?matthias-weber-2009-user-profiling-benutzermodelle-und-mobile-endgerate-paperback-book&class=scaled&v=1542102951)
![Cover for Matthias Weber · Die Mafia im 'Paten': Eine Untersuchung der Inszenierung des Phanomens Mafia in der Filmtrilogie 'Der Pate' (Paperback Book) [German edition] (2008)](https://imusic.com.cn/local-image/images/item/original/844/9783638888844.jpg?matthias-weber-2008-die-mafia-im-paten-eine-untersuchung-der-inszenierung-des-phanomens-mafia-in-der-filmtrilogie-der-pate-paperback-book&class=scaled&v=1409487900)
Mere med samme udgiver
![Cover for Stefan Baune · Handbuch Krankenhausrecht (Hardcover Book) [1. Aufl. 2023 edition] (2027)](https://imusic.com.cn/local-image/images/item/original/920/9783642118920.jpg?stefan-baune-2027-handbuch-krankenhausrecht-hardcover-book&class=scaled&v=1408475544)
![Cover for Handbuch der kommunalen Wissenschaft und Praxis: Band 3: Kommunale (Fach-)Aufgaben und Instrumente der Aufgabenerfullung (Hardcover Book) [3. Auflage 2026 edition] (2027)](https://imusic.com.cn/local-image/images/missing-tall.png)
![Cover for Yuling Xie · Ore Genesis and Deposit Model: The Mianning-Dechang REE Belt in Western Sichuan Province, China - Springer Geology (Hardcover Book) [2024 edition] (2027)](https://imusic.com.cn/local-image/images/item/original/828/9783662539828.jpg?yuling-xie-2027-ore-genesis-and-deposit-model-the-mianning-dechang-ree-belt-in-western-sichuan-province-china-springer-geology-hardcover-book&class=scaled&v=1503410043)
![Cover for Rudolf Streinz · Verfassungsrecht III: Die Einbindung der Bundesrepublik Deutschland in die Volkerrechtsgemeinschaft und in die Europaische Union - Springer-Lehrbuch (Paperback Book) [1. Aufl. 2023 edition] (2027)](https://imusic.com.cn/local-image/images/item/original/579/9783540010579.jpg?rudolf-streinz-2027-verfassungsrecht-iii-die-einbindung-der-bundesrepublik-deutschland-in-die-volkerrechtsgemeinschaft-und-in-die-europaische-union-springer-lehrbuch-paperback-book&class=scaled&v=1505073788)
![Cover for Junrui Liang · Piezoelectric Energy Harvesting Systems: Integrated Analysis and Implementation - Green Energy and Technology (Hardcover Book) [1st ed. 2017 edition] (2027)](https://imusic.com.cn/local-image/images/item/original/025/9783662536025.jpg?junrui-liang-2027-piezoelectric-energy-harvesting-systems-integrated-analysis-and-implementation-green-energy-and-technology-hardcover-book&class=scaled&v=1514457757)
![Cover for Uwe Gotze · Kostenrechnung und Kostenmanagement (Paperback Book) [6., aktualisierte Auflage 2025 edition] (2027)](https://imusic.com.cn/local-image/images/item/original/388/9783642332388.jpg?uwe-gotze-2027-kostenrechnung-und-kostenmanagement-paperback-book&class=scaled&v=1488023188)
![Cover for Ralf Brinktrine · Fallsammlung zum Staatsrecht - Juristische ExamensKlausuren (Paperback Book) [2. Auflage 2025 edition] (2027)](https://imusic.com.cn/local-image/images/item/original/614/9783540890614.jpg?ralf-brinktrine-2027-fallsammlung-zum-staatsrecht-juristische-examensklausuren-paperback-book&class=scaled&v=1608708315)
![Cover for Georg Kupper · Nebenstrafrecht - Springer-Lehrbuch (Paperback Book) [1. Aufl. 2022 edition] (2027)](https://imusic.com.cn/local-image/images/item/original/652/9783540890652.jpg?georg-kupper-2027-nebenstrafrecht-springer-lehrbuch-paperback-book&class=scaled&v=1487269550)
![Cover for Multiple Sklerose: Klinik – Therapie – Patientenfuhrung (Hardcover Book) [1. Aufl. 2022 edition] (2027)](https://imusic.com.cn/local-image/images/item/original/558/9783642229558.jpg?2027-multiple-sklerose-klinik-therapie-patientenfuhrung-hardcover-book&class=scaled&v=1510654586)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/229/9783740012229.jpg?jean-paul-2026-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-hardcover-book&class=scaled&v=1606304271)
![Cover for Lorenz Oken – Gesammelte Werke: Band 3: Schriften zur Naturforschung und Politik (Hardcover Book) [1. Aufl. 2022 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/243/9783740012243.jpg?2026-lorenz-oken-gesammelte-werke-band-3-schriften-zur-naturforschung-und-politik-hardcover-book&class=scaled&v=1509376341)
![Cover for Georg Glaeser · A Mathematical Picture Book (Hardcover Book) [1st ed. 2024 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/473/9783642146473.jpg?georg-glaeser-2026-a-mathematical-picture-book-hardcover-book&class=scaled&v=1592396260)
![Cover for Kyrill-Alexander Schwarz · Praxishandbuch Landesstaatsorganisationsrecht (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/355/9783642253355.jpg?kyrill-alexander-schwarz-2026-praxishandbuch-landesstaatsorganisationsrecht-hardcover-book&class=scaled&v=1408485129)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2026-musical-scales-and-their-mathematics-mathematics-study-resources-paperback-book&class=scaled&v=1735177753)
![Cover for Dieter Schramm · Vehicle Dynamics: Modeling and Simulation (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/166/9783662723166.jpg?dieter-schramm-2026-vehicle-dynamics-modeling-and-simulation-hardcover-book&class=scaled&v=1774297528)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.com.cn/local-image/images/item/original/141/9783662733141.jpg?2026-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-hardcover-book&class=scaled&v=1775079856)
查看Matthias Weber的全部作品 ( 例如 Paperback Book , Book , Hardcover Book 及 CD )