Bemærk: Kan leveres før jul.
Forventes på lager: 13-10-2010
High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness.Jürjens presents the UML extension UMLsec for secure systems development.
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Forfatter | Jan Jurjens |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | Softcover reprint of hardcover 1st ed. 2005 |
| Udgivelsesdato | 13-10-2010 |
| Første udgivelsesår | 2010 |
| Illustrationer | 79 Illustrations, black and white; XX, 316 p. 79 illus. |
| Originalsprog | Germany |
| Sideantal | 316 |
| Indbinding | Paperback / softback |
| Forlag | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Sideoplysninger | 316 pages, 79 Illustrations, black and white; XX, 316 p. 79 illus. |
| Mål | 156 x 234 x 23 |
| ISBN-13 / EAN-13 | 9783642056352 |