Book serie: / Книги серии: Lecture Notes in Computer Science 5382 Programming and Software Engineering » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 5382 Programming and Software Engineering

book Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

pdf

Author: Gilles Barthe Pierre Crégut Benjamin Grégoire Thomas Jensen David Pichardie (auth.) Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem-Paul de Roever (eds.)
Language: English
Year: 2008

00

27.01.2024

2

0