" Fernando Orejas" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Fundamental Approaches to Software Engineering - FASE 2011

Dimitra Giannakopoulou, Fernando Orejas

6.81 Mb

#2

Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer

5.14 Mb

#3

TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development

Josep Diaz, Fernando Orejas

Категория: Cs_Computer science, CsLn_Lecture notes

3.99 Mb

#4

Recent Trends in Algebraic Development Techniques, 17 conf., WADT 2004

José Luiz Fiadeiro, Peter Mosses, Fernando Orejas

Категория: Cs_Computer science, CsLn_Lecture notes

2.83 Mb

#5

Automata, Languages and Programming, 28 conf., ICALP 2001

P.G. Spirakis, Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen

Категория: Cs_Computer science, CsLn_Lecture notes

5.24 Mb

#6

Formal Methods in Software and Systems Modeling

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer

Категория: CsLn_

4.30 Mb

#7

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... Papers

Hartmut Ehrig, Fernando Orejas

3.84 Mb