Verification – Alle titler på Saxo.com tagget som Verification

Der er 1.773 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Artificial Intelligence and Software Testing
- Rex Black , James Davenport , Joanna Olszewska
- Bog, paperback
- Læs mere
- kr. 494,95
- kr. 434,95
  med Shopping-fordele
- Leveringstid: 4-7 hverdage (Sendes fra fjernlager)
- kr. 494,95
- kr. 434,95
  med Shopping-fordele
- Practical Usage of ISPF Dialog Manager
- Anthony S. Rudd
- 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 Model Checking
- Christel Baier & Joost-Pieter Katoen
- Bog, hardback
- Læs mere
- kr. 874,95
- kr. 834,95
  med Shopping-fordele
- Leveringstid: 4-7 hverdage (Sendes fra fjernlager)
- kr. 874,95
- kr. 834,95
  med Shopping-fordele
- Rethinking Expertise
- Harry Collins & Robert Evans
- Bog, paperback
- Læs mere
- kr. 369,95
- kr. 354,95
  med Shopping-fordele
- Leveringstid: 4-7 hverdage (Sendes fra fjernlager)
- kr. 369,95
- kr. 354,95
  med Shopping-fordele
- Logical Foundations of Cyber-Physical Systems
- André Platzer
- Bog, hardback
- 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
- Varieties of Belief
- Paul Helm
- Bog, hardback
- Læs mere
- kr. 2.364,95
- kr. 2.059,95
  med Shopping-fordele
- Leveringstid: 9-12 hverdage (Sendes fra fjernlager)
- kr. 2.364,95
- kr. 2.059,95
  med Shopping-fordele
- Nonlinear Targeted Energy Transfer in Mechanical and Structural Systems
- Alexander F. Vakakis , Oleg V. Gendelman , Lawrence A. Bergman
- 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
- Leveraging Applications of 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
- Design and Construction of Tunnels
- Pietro Lunardi
- Bog, hardback
- Læs mere
- kr. 1.344,95
- kr. 1.284,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 1.344,95
- kr. 1.284,95
  med Shopping-fordele
- Electronic Voting
- Bog, paperback
- Læs mere
- kr. 374,95
- kr. 354,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 374,95
- kr. 354,95
  med Shopping-fordele
- Automated Technology for Verification and Analysis
- Bog, paperback
- Læs mere
- kr. 614,95
- kr. 584,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 614,95
- kr. 584,95
  med Shopping-fordele
- Computational Methods in Systems Biology
- Bog, paperback
- Læs mere
- kr. 379,95
- kr. 364,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 379,95
- kr. 364,95
  med Shopping-fordele
- Mathematical Foundations of Computer Science 1979
- Bog, paperback
- Læs mere
- kr. 344,95
- kr. 329,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 344,95
- kr. 329,95
  med Shopping-fordele
- FM8501: A Verified Microprocessor
- Warren A. Jr. Hunt
- 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
- Dependable Computing - EDCC-2
- 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
- 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
- Mathematics of Program Construction
- 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
- Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
- 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
- 8th International Conference on Automated Deduction
- 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
- Mathematical Foundations of Computer Science 1977
- 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: Foundations and Applications
- 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
- Leveraging Applications of Formal Methods, Verification and Validation
- Bog, paperback
- Læs mere
- kr. 1.109,95
- kr. 1.054,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 1.109,95
- kr. 1.054,95
  med Shopping-fordele
- Functional Design Errors in Digital Circuits
- Kai-hui Chang , Igor L. Markov & Valeria Bertacco
- Bog, hardback
- Læs mere
- kr. 1.109,95
- kr. 1.054,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 1.109,95
- kr. 1.054,95
  med Shopping-fordele
- Principles of Security and Trust
- 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
- Functional and Logic Programming
- Bog, paperback
- Læs mere
- kr. 499,95
- kr. 474,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 499,95
- kr. 474,95
  med Shopping-fordele
- Structured Object-Oriented Formal Language and Method
- 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
- Computational Logic in Multi-Agent 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
- Mathematical Methods of Specification and Synthesis of Software Systems '85
- 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
- System Development and Ada
- 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
- GWAI-81
- 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
- High-Integrity Software
- Bog, hardback
- Læs mere
- kr. 649,95
- kr. 619,95
  med Shopping-fordele
- Leveringstid: Mangler, normalt 2-6 uger
- kr. 649,95
- kr. 619,95
  med Shopping-fordele
- Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
- 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

1
2
3
...
56
> Næste

Alle bøger om Verification