Refinement in Z and Object-Z

Name: Refinement in Z and Object-Z
Brand: Springer London Ltd
SKU: 9781447161677
Price: 428.07 PLN
Availability: InStock

Foundations and Advanced Applications

Autor: Derrick, John (University of Kent, Canterbury), Eerke a Boiten

Język:

Oprawa: Miękka

Wydawca: Springer London Ltd

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

428.07 zł

This book covers data refinement and its application to Z; generalisations of refinement that change...

Informacje o książce

Autor

Derrick, John (University of Kent, Canterbury), Eerke a Boiten

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2015

strony

492

EAN

9781447161677

ISBN

9781447161677

Enbook ID

09862772

Wydawca

Springer London Ltd

Waga

7664

Wymiary

155 x 235 x 28

Pełny 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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Refinement in Z and Object-Z

Foundations and Advanced Applications

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również