Megjelenítés: 1 - 20 / 791 - kulcsszavak: '', keresési idő: 0.28mp Találatok szűrése
1
Software engineering handbook
Szerző: Keyes, Jessica
Megjelenés: 2003
könyv
Mentés a listára
Mentés helye:
2
Object lessons : Lessons learned in object-oriented development projects
Szerző: Love, Tom
Megjelenés: 1993
könyv
Mentés a listára
Mentés helye:
3
VDM '90 : VDM and Z - formal methods in software development : Third international symposium of VDM Europe, Kiel, 17-21. Apr. 1990 : Proceedings
Megjelenés: 1990
könyv
Mentés a listára
Mentés helye:
4
Mathematical aspects of scientific software
Megjelenés: 1988
könyv
Mentés a listára
Mentés helye:
5
Designing object-oriented software
Szerző: Wirfs-Brock, Rebecca
Megjelenés: 1990
könyv
Mentés a listára
Mentés helye:
6
System development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986 : Proceedings
Megjelenés: 1987
könyv
Mentés a listára
Mentés helye:
7
Program development by specification and transformation : The PROSPECTRA methodology, language family, and system
Megjelenés: 1993
könyv
Mentés a listára
Mentés helye:
8
TSP : Leading a development team
Szerző: Humphrey, Watts S.
Megjelenés: 2005
könyv
Mentés a listára
Mentés helye:
9
The mythical man-month : Essays on software engineering
Szerző: Brooks, Frederick Phillips
Megjelenés: 2004
könyv
Mentés a listára
Mentés helye:
10
Extensions of the UNITY methodology : Compositionality, fairness, and probability in parallelism
Szerző: Rao, Josyula Ramachandra (1962-)
Megjelenés: 1995
könyv
Mentés a listára
Mentés helye:
11
Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991: Proceedings
Megjelenés: 1991
könyv
Mentés a listára
Mentés helye:
12
Software engineering : an advanced course
Megjelenés: 1977
könyv
Mentés a listára
Mentés helye:
13
Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 Budapest, Hungary, March 29-April 6, 2008, Procedings
Megjelenés: 2008
könyv
Mentés a listára
Mentés helye:
14
The foundations of program verification
Szerző: Loeckx, Jacques
Megjelenés: 1987
könyv
Mentés a listára
Mentés helye:
15
Verification of reactive systems : Formal methods and algorithms
Szerző: Schneider, Klaus (1967-)
Megjelenés: 2004
könyv
Mentés a listára
Mentés helye:
16
Verifying concurrent processes using temporal logic
Szerző: Hailpern, Brent Tzion
Megjelenés: 1982
könyv
Mentés a listára
Mentés helye:
17
Trends in information processing systems : 3rd Conference of the European Cooperation in Informatics, Munich, October 20-22, 1981 : proceedings
Megjelenés: 1981
könyv
Mentés a listára
Mentés helye:
18
Software engineering with B
Szerző: Wordsworth, J. B.
Megjelenés: 1996
könyv
Mentés a listára
Mentés helye:
19
Compositional verification of concurrent and real-time systems
Szerző: Juan, Eric Y. T.
Megjelenés: 2002
könyv
Mentés a listára
Mentés helye:
20
Waltzing with bears : Managing risk on software projects
Szerző: DeMarco, Tom
Megjelenés: 2003
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése