Fortell venner om denne varen:
Refinement: Semantics, Languages and Applications John Derrick Softcover Reprint of the Original 1st 2018 edition
Pris
NOK 519
Bestillingsvarer
Forventes levert 5. - 13. aug
Få varsel om nye utgivelser fra John Derrick
Legg til iMusic ønskeliste
eller
Finnes også som:
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.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 25. januar 2019 |
| ISBN13 | 9783030064976 |
| Utgivere | Springer Nature Switzerland AG |
| Antall sider | 269 |
| Mål | 150 × 220 × 10 mm · 412 g |
| Språk | Tysk |
Mer med John Derrick
Vis alle![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1529397972)
Mer fra samme **utgiver**
![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 (Pocketbok) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Robert Sobot · Engineering Mathematics by Example: Vol. II: Calculus (Innbunden bok) [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-innbunden-bok&class=scaled&v=1782149966)
![Cover for Matthew Harker · Fractional Differential Equations: Numerical Methods for Applications - Studies in Systems, Decision and Control (Innbunden bok) [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-innbunden-bok&class=scaled&v=1604147403)
![Cover for Jurgen H. Gross · Mass Spectrometry: A Textbook (Innbunden bok) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/162/9783032292162.jpg?jurgen-h-gross-2026-mass-spectrometry-a-textbook-innbunden-bok&class=scaled&v=1780453452)
![Cover for Joseph F. Hair Jr. · Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R: A Workbook - Classroom Companion: Business (Innbunden bok) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/214/9783032283214.jpg?joseph-f-hair-jr-2026-partial-least-squares-structural-equation-modeling-pls-sem-using-r-a-workbook-classroom-companion-business-innbunden-bok&class=scaled&v=1780320212)
![Cover for T. S. Venkatesh · Strength of Materials: Volume II: For Mechanical, Production, Civil, Construction, Automobile, Marine and Chemical Engineering Branches (Innbunden bok) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/787/9783032040787.jpg?t-s-venkatesh-2026-strength-of-materials-volume-ii-for-mechanical-production-civil-construction-automobile-marine-and-chemical-engineering-branches-innbunden-bok&class=scaled&v=1778117433)
Se alt med John Derrick ( f.eks. Pocketbok og Innbunden bok )