Pastāsti draugiem par šo preci:
Refinement: Semantics, Languages and Applications John Derrick Softcover Reprint of the Original 1st 2018 edition
Cena
€ 52,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 4. - 12. jūn.
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
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.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2019. gada 25. janvāris |
| ISBN13 | 9783030064976 |
| Izdevēji | Springer Nature Switzerland AG |
| Lapas | 269 |
| Izmēri | 150 × 220 × 10 mm · 412 g |
| Valoda | Vācu |
Vairāk no John Derrick
Rādīt visu![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)
Mere med samme udgiver
![Cover for Breit, Dominic, Dr. · A Course on Function Spaces I: Continuous and Integrable Functions - Universitext (Paperback Book) [2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/422/9783030806422.jpg?breit-dominic-dr-2026-a-course-on-function-spaces-i-continuous-and-integrable-functions-universitext-paperback-book&class=scaled&v=1716780093)
![Cover for T. S. Venkatesh · Strength of Materials: Volume II: For Mechanical, Production, Civil, Construction, Automobile, Marine and Chemical Engineering Branches (Hardcover Book) [Second Edition 2026 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-hardcover-book&class=scaled&v=1778117433)
![Cover for Øyvind Grøn · Einstein's General Theory of Relativity: With Modern Applications in Cosmology - Graduate Texts in Physics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/588/9783032005588.jpg?oeyvind-groen-2026-einstein-s-general-theory-of-relativity-with-modern-applications-in-cosmology-graduate-texts-in-physics-hardcover-book&class=scaled&v=1778038948)
![Cover for Ke-Lin Du · Wireless Communication Systems: From Fundamentals to 6G - Signals and Communication Technology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/938/9783032130938.jpg?ke-lin-du-2026-wireless-communication-systems-from-fundamentals-to-6g-signals-and-communication-technology-hardcover-book&class=scaled&v=1774415337)
![Cover for Joachim Stohr · The Nature of X-Rays and Their Interactions with Matter—Volume II: Beyond Semi-Classical Concepts - Springer Tracts in Modern Physics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/335/9783032076335.jpg?joachim-stohr-2026-the-nature-of-x-rays-and-their-interactions-with-matter-volume-ii-beyond-semi-classical-concepts-springer-tracts-in-modern-physics-hardcover-book&class=scaled&v=1774350673)
![Cover for Stanley J. Miklavcic · An Illustrative Guide to Multivariable and Vector Calculus (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/177/9783032126177.jpg?stanley-j-miklavcic-2026-an-illustrative-guide-to-multivariable-and-vector-calculus-hardcover-book&class=scaled&v=1768947045)
Skatīt visus John Derrick ( piem., Paperback Book un Hardcover Book )