EUR 10,11
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 74,28
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2010
ISBN 10: 3642056350 ISBN 13: 9783642056352
Idioma: Inglés
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 76,64
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2010
ISBN 10: 3642056350 ISBN 13: 9783642056352
Idioma: Inglés
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 73,22
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
EUR 70,80
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 70,79
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
Librería: Solr Books, Lincolnwood, IL, Estados Unidos de America
EUR 83,42
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: new.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2010
ISBN 10: 3642056350 ISBN 13: 9783642056352
Idioma: Inglés
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 91,99
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. Attacks against computer systems can cause considerable economic or physical damage. 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. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction.With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications. Softcover reprint of hardcover 1st ed. 2005.
Librería: BennettBooksLtd, San Diego, NV, Estados Unidos de America
EUR 87,12
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 95,00
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
EUR 97,65
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. SUPER FAST SHIPPING.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 104,31
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 106,49
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. SUPER FAST SHIPPING.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 113,12
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 114,47
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642056350 ISBN 13: 9783642056352
Idioma: Inglés
Librería: moluna, Greven, Alemania
EUR 77,77
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Shows how to use an extended version of industry standard UML to develop security-critical systemsConsistent use of a relevant real-world example throughout the whole book (common electronic purse specification)Attacks against computer .
Publicado por Springer Berlin Heidelberg, 2004
ISBN 10: 3540007016 ISBN 13: 9783540007012
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
EUR 43,74
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg, 2010
ISBN 10: 3642056350 ISBN 13: 9783642056352
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 85,59
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Attacks against computer systems can cause considerable economic or physical damage. 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. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction.With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications.
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2010
ISBN 10: 3642056350 ISBN 13: 9783642056352
Idioma: Inglés
Librería: Rarewaves.com UK, London, Reino Unido
EUR 83,74
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. Attacks against computer systems can cause considerable economic or physical damage. 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. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction.With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications. Softcover reprint of hardcover 1st ed. 2005.
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2004, 2004
ISBN 10: 3540007016 ISBN 13: 9783540007012
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 106,99
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware -Attacks against computer systems can cause considerable economic or physical damage. 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. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction.With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.
Publicado por Springer Berlin Heidelberg, 2004
ISBN 10: 3540007016 ISBN 13: 9783540007012
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 106,99
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Attacks against computer systems can cause considerable economic or physical damage. 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. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction.With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications.
EUR 102,30
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Secure Systems Development with UML | Jan Jürjens | Taschenbuch | xx | Englisch | 2010 | Springer-Verlag GmbH | EAN 9783642056352 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 162,98
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 185,16
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 153,61
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
EUR 159,47
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
Publicado por Springer Berlin Heidelberg, 2004
ISBN 10: 3642056350 ISBN 13: 9783642056352
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
EUR 73,95
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 336 pages. 9.06x6.14x0.79 inches. In Stock. This item is printed on demand.
Publicado por Springer Berlin Heidelberg Okt 2010, 2010
ISBN 10: 3642056350 ISBN 13: 9783642056352
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 80,24
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Attacks against computer systems can cause considerable economic or physical damage. 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. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction.With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications. 332 pp. Englisch.
Publicado por Springer Berlin Heidelberg Okt 2004, 2004
ISBN 10: 3540007016 ISBN 13: 9783540007012
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 106,99
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Attacks against computer systems can cause considerable economic or physical damage. 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. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction.With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications. 332 pp. Englisch.
Publicado por Springer Berlin Heidelberg, 2004
ISBN 10: 3540007016 ISBN 13: 9783540007012
Idioma: Inglés
Librería: moluna, Greven, Alemania
EUR 89,99
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Shows how to use an extended version of industry standard UML to develop security-critical systemsConsistent use of a relevant real-world example throughout the whole book (common electronic purse specification)Attacks against computer .