-
Metody programmirovanija 1
-
Vol. 4171 Verified Software: Theories, Tools, Experiments : First IFIP TC2/WG 2.3 Conference, VSTTE 2005 Zurich, Switzerland, October 10-13, 2005 Revised Selected Papers and Discussions
-
Object-oriented software construction /
-
Software Engineering Techniques: Balancing Agility and Formalism : Preprint of the Proceedings of CEE-SET ´07
-
Agile! : The Good, the Hype and the Ugly /
-
Lecture Notes in Computer Science : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007 Poznań, Poland, October 10-12, 2007. Revised Selected Papers