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

Der er 397 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Security Modeling And Analysis Of Mobile Agent Systems
- Jeffrey J. P. Tsai & Lu Ma
- Bog, hardback
- Læs mere
- kr. 1.109,95
- kr. 964,95
  med Shopping-fordele
- Leveringstid: Mangler, normalt 2-6 uger
- kr. 1.109,95
- kr. 964,95
  med Shopping-fordele
- Ad-hoc, Mobile, and Wireless Networks
- Bog, paperback
- 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
- Modelling Distributed Systems
- Wan Fokkink
- Bog, hardback
- Læs mere
- kr. 199,95
- kr. 189,95
  med Shopping-fordele
- Leveringstid: 4-7 hverdage (Sendes fra fjernlager)
- kr. 199,95
- kr. 189,95
  med Shopping-fordele
- Formal Verification of Object-Oriented Software
- Bog, paperback
- 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
- NASA Formal Methods
- Bog, paperback
- 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
- Model Checking Software
- Bog, paperback
- Læs mere
- kr. 469,95
- kr. 444,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 469,95
- kr. 444,95
  med Shopping-fordele
- Formal Methods for Industrial Critical Systems
- Bog, paperback
- Læs mere
- kr. 464,95
- kr. 439,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 464,95
- kr. 439,95
  med Shopping-fordele
- Data Privacy Management, Cryptocurrencies and Blockchain Technology
- Bog, paperback
- Læs mere
- kr. 609,95
- kr. 579,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 609,95
- kr. 579,95
  med Shopping-fordele
- Correct Hardware Design and Verification Methods
- Bog, paperback
- 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
- 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
- Computer Aided Verification
- Bog, paperback
- 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
- Hybrid Systems III
- Bog, paperback
- Læs mere
- kr. 789,95
- kr. 754,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 789,95
- kr. 754,95
  med Shopping-fordele
- Program Verification
- Bog, hardback
- Læs mere
- kr. 2.809,95
- kr. 2.449,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 2.809,95
- kr. 2.449,95
  med Shopping-fordele
- Program Verification
- Bog, paperback
- Læs mere
- kr. 2.809,95
- kr. 2.449,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 2.809,95
- kr. 2.449,95
  med Shopping-fordele
- CONCUR 2007 - Concurrency Theory
- Bog, paperback
- 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
- Types for Proofs and Programs
- Bog, paperback
- 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
- Logic Programming
- Bog, paperback
- 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 Reasoning with Analytic Tableaux and Related Methods
- Bog, paperback
- 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
- Computer Aided Verification
- Bog, paperback
- 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
- Model Checking Software
- Bog, paperback
- 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
- Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
- Bog, paperback
- 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
- Quantitative Evaluation of Systems
- Bog, paperback
- 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
- Hardware and Software: Verification and Testing
- Bog, paperback
- 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
- Verification, Model Checking, and Abstract Interpretation
- Bog, paperback
- 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
- Industrial-Strength Formal Methods in Practice
- Bog, paperback
- Læs mere
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Integrated Formal Methods
- Bog, paperback
- 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
- Principles of Verifiable RTL Design
- Lionel Bening & Harry D. Foster
- Bog, paperback
- Læs mere
- kr. 789,95
- kr. 754,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 789,95
- kr. 754,95
  med Shopping-fordele
- Formal Methods for Distributed System Development
- Bog, paperback
- Læs mere
- kr. 1.499,95
- kr. 1.439,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 1.499,95
- kr. 1.439,95
  med Shopping-fordele
- Principles of Verifiable RTL Design
- Lionel Bening & Harry D. Foster
- Bog, paperback
- Læs mere
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Formal Modeling and Analysis of Timed Systems
- Bog, paperback
- 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
- Logic Programming
- Bog, paperback
- Læs mere
- kr. 789,95
- kr. 754,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 789,95
- kr. 754,95
  med Shopping-fordele
- All About Maude - A High-Performance Logical Framework
- Manuel Clavel , Francisco Durán , Steven Eker
- Bog, sampak
- Læs mere
- kr. 709,95
- kr. 674,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 709,95
- kr. 674,95
  med Shopping-fordele

1
2
3
...
13
> Næste

Alle bøger om Formal verification