Zobacz książki o podobnej tematyce

Więcej informacji o Refinement in Z and Object-Z

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 290 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Software Engineering

• Pełny tytuł: Refinement in Z and Object-Z
• Podtytuł: Foundations and Advanced Applications
• Autor: Derrick, John (University of Kent, Canterbury), Eerke a Boiten
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 492
• EAN: 9781447161677
• ISBN: 9781447161677
• ID: 09862772
• Wydawca: Springer London Ltd
• Waga: 7664 g
• Wymiary: 235 × 155 × 28 mm
• Data wydania: 23. August 2015

Ulubione w innej kategorii

---

---

---