Formal methods in programming and their applications

Ediciones (3)

• Formal Methods in Programming and Their Applications (1993)

  Springer · inglés · ISBN 9783540573166

• Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 (1993)

  Springer · ISBN 9780387573168

• Formal methods in programming and their applications (1993)

  Springer-Verlag · inglés

Más obras de D. Bjørner

TThe Vienna development method

The Vienna development method

Towards a formal description of Ada

Formal methods and hybrid real-time systems

The Vienna development method

Perspectives of system informatics

Baltic computer science

Ver todas las obras de D. Bjørner →