Author books / Книги автора Egidio Astesiano Gianna Reggio (auth.) Christine Choppy Oleg Sokolsky (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Egidio Astesiano Gianna Reggio (auth.) Christine Choppy Oleg Sokolsky (eds.)

book Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

pdf

Author: Egidio Astesiano Gianna Reggio (auth.) Christine Choppy Oleg Sokolsky (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems Specification

djvu

Author: Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
Language: English
Year: 2011

00

29.01.2024

0

0

book Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

pdf

Author: Egidio Astesiano Maura Cerioli (auth.) Martin Wirsing Alexander Knapp Simonetta Balsamo (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

pdf

Author: Leo Bachmair Harald Ganzinger Jürgen Stuber (auth.) Egidio Astesiano Gianna Reggio Andrzej Tarlecki (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings

CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings

pdf

Author: Hartmut Ehrig (auth.) Egidio Astesiano Corrado Böhm (eds.)
Language: English-French
Year: 1981

00

27.01.2024

0

0

book Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979

Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979

pdf

Author: Egidio Astesiano Gerardo Costa (auth.) Hermann A. Maurer (eds.)
Language: English-French
Year: 1979

00

27.01.2024

0

0

book Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems Specification

pdf

Author: Marie-Claude Gaudel Gilles Bernot (auth.) Prof. Dr. Egidio Astesiano Prof. Dr. Hans-Jörg Kreowski Prof. Dr. Bernd Krieg-Brückner (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

pdf

Author: Egidio Astesiano Gianna Reggio (auth.) Christine Choppy Oleg Sokolsky (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

pdf

Author: Egidio Astesiano Gianna Reggio (auth.) Christine Choppy Oleg Sokolsky (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

pdf

Author: Egidio Astesiano Maura Cerioli (auth.) Martin Wirsing Alexander Knapp Simonetta Balsamo (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0