Freunden von diesem Artikel berichten:
Refinement: Semantics, Languages and Applications John Derrick 1st ed. 2018 edition
Preis
€ 60,99
Bestellware
Lieferdatum: ca. 21. Aug - 4. Sep
Benachrichtigungen über neue Veröffentlichungen von John Derrick erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Refinement: Semantics, Languages and Applications
John Derrick
It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
269 pages, 20 Tables, black and white; 39 Illustrations, black and white; XIX, 269 p. 39 illus.
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 14. September 2018 |
| ISBN13 | 9783319927091 |
| Verlag | Springer International Publishing AG |
| Seitenanzahl | 269 |
| Maße | 150 × 220 × 20 mm · 585 g |
| Sprache | Deutsch |
Weitere Titel von John Derrick
Alle anzeigen![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Gebundenes Buch) [2nd ed. 2014 edition] (2013)](https://imusic.b-cdn.net/images/item/original/542/9781447153542.jpg?john-derrick-2013-refinement-in-z-and-object-z-foundations-and-advanced-applications-gebundenes-buch&class=scaled&v=1411063625)
Mehr vom selben Verlag
![Cover for Keren Epstein-Gilboa · The Breastfeeding Relationship and Children’s Social and Emotional Development (Gebundenes Buch) [2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Transmission Electron Microscopy: The Companion Volume (Taschenbuch) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/916/9783031807916.jpg?2027-transmission-electron-microscopy-the-companion-volume-taschenbuch&class=scaled&v=1780320082)
![Cover for Christopher M. Brown · The Democratization of Cuba (Gebundenes Buch) [2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/523/9783319660523.jpg?christopher-m-brown-2027-the-democratization-of-cuba-gebundenes-buch&class=scaled&v=1594018037)
![Cover for Werner Kempf · Dermatopathology (Gebundenes Buch) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/711/9783031989711.jpg?werner-kempf-2026-dermatopathology-gebundenes-buch&class=scaled&v=1774452112)
![Cover for Simone Cerreia-Vioglio · Principles of Mathematics for Economics (Taschenbuch) [1st ed. 2017 edition] (2026)](https://imusic.b-cdn.net/images/item/original/131/9783319447131.jpg?simone-cerreia-vioglio-2026-principles-of-mathematics-for-economics-taschenbuch&class=scaled&v=1606717221)
![Cover for T. S. Venkatesh · Strength of Materials: Volume I: Concepts, Problems & Solutions (Gebundenes Buch) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/846/9783031955846.jpg?t-s-venkatesh-2026-strength-of-materials-volume-i-concepts-problems-solutions-gebundenes-buch&class=scaled&v=1778114493)
![Cover for Daniel Schatz · Sweden’s Relations with Israel and the Palestinians: An Untold History (Gebundenes Buch) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/321/9783031720321.jpg?daniel-schatz-2026-sweden-s-relations-with-israel-and-the-palestinians-an-untold-history-gebundenes-buch&class=scaled&v=1774494645)
![Cover for Peter C. Hill · Measures of Religiosity and Spirituality (Buch) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/431/9783031483431.jpg?peter-c-hill-2026-measures-of-religiosity-and-spirituality-buch&class=scaled&v=1780099572)
![Cover for Keratoprostheses: Overcoming Corneal Blindness (Gebundenes Buch) [2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/906/9783031770906.jpg?2026-keratoprostheses-overcoming-corneal-blindness-gebundenes-buch&class=scaled&v=1774452309)
![Cover for Reinhard Noll · Laser-Induced Breakdown Spectroscopy: Fundamentals and Applications (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/692/9783031853692.jpg?reinhard-noll-2026-laser-induced-breakdown-spectroscopy-fundamentals-and-applications-gebundenes-buch&class=scaled&v=1774530627)
![Cover for Neculai Andrei · Modern Numerical Nonlinear Optimization - Springer Optimization and Its Applications (Gebundenes Buch) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/936/9783031946936.jpg?neculai-andrei-2026-modern-numerical-nonlinear-optimization-springer-optimization-and-its-applications-gebundenes-buch&class=scaled&v=1774528650)
![Cover for Patricio Aroca · Regional Business Cycles in Mexico, Brazil, and Chile: A Sub-National Analysis of Economic Fluctuations - SpringerBriefs in Regional Science (Taschenbuch) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/658/9783319988658.jpg?patricio-aroca-2026-regional-business-cycles-in-mexico-brazil-and-chile-a-sub-national-analysis-of-economic-fluctuations-springerbriefs-in-regional-science-taschenbuch&class=scaled&v=1546500016)
![Cover for Monica Catherine O'Brien · Understanding and Responding to the French Pox in Frankfurt am Main and Nuremberg, 1495–1700: Contagion, Practicality, and Morality - Palgrave Studies in Medieval and Early Modern Medicine (Gebundenes Buch) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/244/9783031469244.jpg?monica-catherine-o-brien-2026-understanding-and-responding-to-the-french-pox-in-frankfurt-am-main-and-nuremberg-1495-1700-contagion-practicality-and-morality-palgrave-studies-in-medieval-and-early-modern-medicine-gebundenes-buch&class=scaled&v=1780034060)
Alle Titel von John Derrick ansehen ( u. a. Taschenbuch und Gebundenes Buch )