Formale Verifikation – Alle titler på Saxo.com tagget som Formale Verifikation

Der er 9 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Algebraic Methodology and Software Technology
- Bog, paperback
- Sprog: Engelsk
- 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
- Computer Aided Verification
- 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
- Algorithmen Und Datenstrukturen Im Vlsi-Design
- Christoph Meinel & Thorsten Theobald
- Bog, paperback
- Sprog: Tysk
- Læs mere
- kr. 429,95
- kr. 409,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 429,95
- kr. 409,95
  med Shopping-fordele
- Trees in Algebra and Programming - CAAP '96
- 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 Systems Specification
- 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
- Systematischer Entwurf digitaler Systeme
- Franz J. Rammig
- Bog, paperback
- Sprog: Tysk
- Læs mere
- kr. 399,95
- kr. 379,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 399,95
- kr. 379,95
  med Shopping-fordele
- Mehr als nur Programmieren…
- Rainer Gmehlich
- Bog, paperback
- Sprog: Tysk
- Læs mere
- kr. 434,95
- kr. 414,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 434,95
- kr. 414,95
  med Shopping-fordele
- KORSO: Methods, Languages, and Tools for the Construction of Correct Software
- 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
- Transformation-Based Reactive Systems Development
- 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

Alle bøger om Formale Verifikation