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

Der er 315 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Engineering Theories of Software Intensive Systems
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 1.494,95
- kr. 1.434,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 1.494,95
- kr. 1.434,95
  med Shopping-fordele
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Methods and Procedures for the Verification and Validation of Artificial Neural Networks
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Formal Methods and Stochastic Models for Performance Evaluation
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Formal Development of Reactive Systems
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Languages for System Specification
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Constraint-Based Verification
- Jun Yuan , Adnan Aziz & Carl Pixley
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Theoretical Aspects of Computing - ICTAC 2006
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Directions in Safety-Critical Systems
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- International Symposium on Fundamentals of Software Engineering
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- The Calculus of Computation
- Aaron R. Bradley & Zohar Manna
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 539,95
- kr. 514,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 539,95
- kr. 514,95
  med Shopping-fordele
- Technology and Assessment of Safety-Critical Systems
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Safe Comp 95
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 424,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 424,95
- kr. 399,95
  med Shopping-fordele
- Languages for System Specification
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Foundational and Practical Aspects of Resource Analysis
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 414,95
- kr. 394,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 414,95
- kr. 394,95
  med Shopping-fordele
- Applications and Theory of Petri Nets 2005
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- FM'99 - Formal Methods
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Advances in Formal Design Methods for CAD
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 1.494,95
- kr. 1.434,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 1.494,95
- kr. 1.434,95
  med Shopping-fordele
- VLISP A Verified Implementation of Scheme
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 1.109,95
- kr. 1.054,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 1.109,95
- kr. 1.054,95
  med Shopping-fordele
- Formal Semantics for VHDL
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Automated Mathematical Induction
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Understanding Agent Systems
- Michael Luck
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Rapid Integration of Software Engineering Techniques
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Formal Methods for Performance Evaluation
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Validation and Verification of Knowledge Based Systems
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 1.494,95
- kr. 1.434,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 1.494,95
- kr. 1.434,95
  med Shopping-fordele
- Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
- Jui-Ming Chang & Massoud Pedram
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 784,95
- kr. 749,95
  med Shopping-fordele
- Code Generation for Embedded Processors
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 1.494,95
- kr. 1.434,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 1.494,95
- kr. 1.434,95
  med Shopping-fordele
- Mathematics of Program Construction
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Computer-Aided Verification
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Formal Methods for Open Object-Based Distributed Systems
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Formal Techniques in Real-Time and Fault-Tolerant Systems
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele
- Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
- kr. 1.099,95
- kr. 1.044,95
  med Shopping-fordele

1
2
3
...
10
> Næste

Alle bøger om Formal method