Powiedz znajomym o tym przedmiocie:
Refinement in Z and Object-Z: Foundations and Advanced Applications Softcover reprint of the original 2nd ed. 2014 edition
John Derrick
Refinement in Z and Object-Z: Foundations and Advanced Applications Softcover reprint of the original 2nd ed. 2014 edition
John Derrick
This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.
492 pages, XVIII, 492 p.
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 23 sierpnia 2015 |
ISBN13 | 9781447161677 |
Wydawcy | Springer London Ltd |
Strony | 492 |
Wymiary | 155 × 235 × 26 mm · 707 g |
Pokaż wszystko
Więcej od John Derrick
Zobacz wszystko od John Derrick ( np. Paperback Book i Hardcover Book )