Refinement in Z and Object-Z

Materias

• Z (Computer program language)
• Object-oriented programming (Computer science)

Ediciones (4)

• Refinement in Z and Object-Z (2015)

  Springer London, Limited · inglés · ISBN 9781447161677

• Refinement in Z and Object-Z (2013)

  Springer London, Limited · inglés · ISBN 9781447153559

• Refinement in Z and Object-Z (2012)

  Springer · ISBN 9781447102588

• Refinement in Z and Object-Z (2001)

  Springer · inglés · ISBN 9781852332457

Más obras de John Derrick