Faites connaître cet article à vos amis:
Refinement: Semantics, Languages and Applications John Derrick Softcover Reprint of the Original 1st 2018 edition
Avez-vous un profil ? Connectez-vous
Recevez une notification pour les nouvelles sorties de John Derrick
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
Également disponible en tant que :
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.
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 25 janvier 2019 |
| ISBN13 | 9783030064976 |
| Éditeurs | Springer Nature Switzerland AG |
| Pages | 269 |
| Dimensions | 150 × 220 × 10 mm · 412 g |
| Langue et grammaire | Allemand |
Plus par John Derrick
Afficher tout![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Paperback Book) [Softcover reprint of the original 2nd ed. 2014 edition] (2015)](https://imusic.b-cdn.net/images/item/original/677/9781447161677.jpg?john-derrick-2015-refinement-in-z-and-object-z-foundations-and-advanced-applications-paperback-book&class=scaled&v=1556165679)
![Cover for John Derrick · Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/840/9783642308840.jpg?john-derrick-2012-abstract-state-machines-alloy-b-vdm-and-z-third-international-conference-abz-2012-pisa-italy-june-18-21-2012-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1556165666)
![Cover for John Derrick · Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/955/9783540731955.jpg?john-derrick-2007-formal-techniques-for-networked-and-distributed-systems-forte-2007-27th-ifip-wg-6-1-international-conference-tallinn-estonia-june-27-29-2007-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1529397972)
Plus d'ouvrages du même éditeur
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Paperback Book) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Robert Sobot · Engineering Mathematics by Example: Vol. II: Calculus (Hardcover Book) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/956/9783032046956.jpg?robert-sobot-2027-engineering-mathematics-by-example-vol-ii-calculus-hardcover-book&class=scaled&v=1782149966)
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Hardcover Book) [2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/769/9783030323769.jpg?matthew-harker-2027-fractional-differential-equations-numerical-methods-for-applications-studies-in-systems-decision-and-control-hardcover-book&class=scaled&v=1604147403)
![Cover for Jurgen H. Gross · Mass Spectrometry: A Textbook (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/162/9783032292162.jpg?jurgen-h-gross-2026-mass-spectrometry-a-textbook-hardcover-book&class=scaled&v=1780453452)
![Cover for Mehdi Rahmani-Andebili · Advanced Electrical Circuits Analysis: Practice Problems, Methods, and Solutions (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/898/9783032074898.jpg?mehdi-rahmani-andebili-2026-advanced-electrical-circuits-analysis-practice-problems-methods-and-solutions-hardcover-book&class=scaled&v=1761003881)
Voir tous les John Derrick ( par ex. Paperback Book et Hardcover Book )