Protocol verification – Alle titler på Saxo.com tagget som Protocol verification

Der er 15 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Foundations of Security Analysis and Design VII
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 384,95
- kr. 364,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 384,95
- kr. 364,95
  med Shopping-fordele
- Handbook of Formal Analysis and Verification in Cryptography
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 1.094,95
- kr. 954,95
  med Shopping-fordele
- Leveringstid: Kan forudbestilles
- kr. 1.094,95
- kr. 954,95
  med Shopping-fordele
- Protocol Engineering
- Hartmut König
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 629,95
- kr. 599,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 629,95
- kr. 599,95
  med Shopping-fordele
- Higher Order Logic Theorem Proving and Its Applications
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Automated Technology for Verification and Analysis
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Partial-Order Methods for the Verification of Concurrent Systems
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Protocol Engineering
- Hartmut König
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 629,95
- kr. 599,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 629,95
- kr. 599,95
  med Shopping-fordele
- Security Protocols
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Application and Theory of Petri Nets and Concurrency
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Relational and Algebraic Methods in Computer Science
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Formal Methods for Components and Objects
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Automated Technology for Verification and Analysis
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 794,95
- kr. 754,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 794,95
- kr. 754,95
  med Shopping-fordele
- Formal Aspects of Security
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Foundations of Security Analysis and Design VI
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Handbook of Formal Analysis and Verification in Cryptography
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 1.444,95
- kr. 1.384,95
  med Shopping-fordele
- Leveringstid: 9-12 hverdage (Sendes fra fjernlager)
- kr. 1.444,95
- kr. 1.384,95
  med Shopping-fordele

Alle bøger om Protocol verification