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

Der er 17 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Trends in Functional Programming
- Bog, paperback
- Læs mere
- kr. 159,95
- kr. 149,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 159,95
- kr. 149,95
  med Shopping-fordele
- Formal Methods. FM 2019 International Workshops
- Bog, paperback
- Læs mere
- kr. 169,95
- kr. 154,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 169,95
- kr. 154,95
  med Shopping-fordele
- Computer Aided Verification
- Bog, paperback
- Læs mere
- kr. 174,95
- kr. 159,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 174,95
- kr. 159,95
  med Shopping-fordele
- Tests and Proofs
- Bog, paperback
- Læs mere
- kr. 199,95
- kr. 189,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 199,95
- kr. 189,95
  med Shopping-fordele
- Coordination Models and Languages
- Bog, paperback
- Læs mere
- kr. 214,95
- kr. 199,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 214,95
- kr. 199,95
  med Shopping-fordele
- Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
- Bog, paperback
- Læs mere
- kr. 164,95
- kr. 149,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 164,95
- kr. 149,95
  med Shopping-fordele
- Testing Software and Systems
- Bog, paperback
- Læs mere
- kr. 214,95
- kr. 199,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 214,95
- kr. 199,95
  med Shopping-fordele
- Relational and Algebraic Methods in Computer Science
- Bog, paperback
- Læs mere
- kr. 214,95
- kr. 204,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 214,95
- kr. 204,95
  med Shopping-fordele
- Runtime Verification
- Bog, paperback
- Læs mere
- kr. 214,95
- kr. 204,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 214,95
- kr. 204,95
  med Shopping-fordele
- SDL 2015: Model-Driven Engineering for Smart Cities
- Bog, paperback
- Læs mere
- kr. 214,95
- kr. 204,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 214,95
- kr. 204,95
  med Shopping-fordele
- Fundamental Approaches to Software Engineering
- Bog, paperback
- Læs mere
- kr. 214,95
- kr. 204,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 214,95
- kr. 204,95
  med Shopping-fordele
- Unifying Theories of Programming
- Bog, paperback
- Læs mere
- kr. 189,95
- kr. 179,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 189,95
- kr. 179,95
  med Shopping-fordele
- Trends in Functional Programming
- Bog, paperback
- Læs mere
- kr. 159,95
- kr. 149,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 159,95
- kr. 149,95
  med Shopping-fordele
- Hardware and Software: Verification and Testing
- Bog, paperback
- Læs mere
- kr. 214,95
- kr. 199,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 214,95
- kr. 199,95
  med Shopping-fordele
- Formal Methods for Industrial Critical Systems
- Bog, paperback
- Læs mere
- kr. 199,95
- kr. 189,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 199,95
- kr. 189,95
  med Shopping-fordele
- Formal Aspects of Component Software
- Bog, paperback
- Læs mere
- kr. 214,95
- kr. 204,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 214,95
- kr. 204,95
  med Shopping-fordele
- Software Engineering for Self-Adaptive Systems III. Assurances
- Bog, paperback
- Læs mere
- kr. 164,95
- kr. 154,95
  med Shopping-fordele
- Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
- kr. 164,95
- kr. 154,95
  med Shopping-fordele

Alle bøger om Formal software verification