
Fme '96
Marie-Claude Gaudel, James Woodcock
₹4,044

Theory and Practice of Software Development: 4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings
by Marie-Claude Gaudel, Jean-Pierre Jouannaud
Free delivery. Nothing extra to pay at checkout.
This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development.
Description supplied by the publisher.