Industrial benefit and advances in formal methods
: proceedings / FME '96, Third International Symposium of Formal Methods Europe, Oxford, UK, March 18 - 22, 1996. Marie-Claude Gaudel ; James Woodcock (ed.). Co-sponsored by IFIP WG 14.3. - Berlin : Springer, 1996. - XII, 704 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1051)
ISBN 978-3-540-60973-5 / 3-540-60973-3 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Theory and practice of software development
: proceedings / TAPSOFT '93, 4th international joint conference CAAP/FASE, Orsay, France, April 13 - 17, 1993. M.-C. Gaudel ; J.-P. Jouannaud (ed.). - Berlin : Springer, 1993. - XI, 761 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 668)
ISBN 978-3-540-56610-6 / 3-540-56610-4 kart. : DM 142.00
Literaturangaben
Quelle: DNB
