Peste 4 milioane de titluri în engleză și alte limbi! Descoperă-ți noua poveste astăzi!

Z User Workshop, Cambridge 1994

Name: Z User Workshop, Cambridge 1994
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540198840
Price: 276.48 RON
Availability: InStock

Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994

Autor: J. P. Bowen, J. A. Hall

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.48 lei

This volume of conference papers covers a wide range of issues associated with Z and formal methods....

Informații despre carte

Autor

J. P. Bowen, J. A. Hall

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1994

Pagini

405

EAN

9783540198840

ISBN

9783540198840

Enbook ID

08908456

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

720

Dimensiuni

155 x 235 x 23

Descriere completă

This volume of conference papers covers a wide range of issues associated with Z and formal methods. These issues include education, standards, tool support and interaction with other design paradigms, such as real-time consideration and object-oriented approaches to development.