-
Safety aspects of computer control /
-
The Reliability of Mechanical Systems /
-
Fault-tolerant distributed computing /
-
FTCS-22 : Digest of papers : Konf. The Twenty-Second International Sysposium on Fault-Tolerant Computing, Boston, Massachusetts, 8.- 10. July 1992
-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
Directions in safety-critical systems : Proceedings of the first symposium : Konf. Bristol, 9.- 11. Feb. 1993 /
-
Software fault tolerance : Achievement and assessment strategies /
-
Formal techniques in real-time and fault-tolerant systems : Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992 /
-
Computer and Information Security Handbook /
-
Aspect-oriented : Software Development
-
Logic and algebra of specification /
-
Design and use of software architectures : Adopting and evolving a product-line approach
-
Software projects : Evolutionary vs. big-bang delivery /
-
Software architecture in practice
-
Temporal verification of reactive systems : Safety /
-
Návrh botnetu
-
The unified modeling language reference manual
-
The unified software development process
-
Software architecture : Perspectives on an emerging discipline /
-
Visual modeling with rational rose 2000 and UML
-
Software process improvement
-
Introduction to the team software process
-
Proceedings of the 1998 international conference od software engineering : ISCE 98. Kyoto, Japan. 19.- 25. april 1998
-
201 principles of software development /