Alle bøger af Orna Kupferman

Alle tilgængelige bogudgivelser af Orna Kupferman på Saxo. Vi har 1 titler forfattet af Orna Kupferman, tilgængelig her på shoppen, se udvalget nedenfor.

Type
- Bøger (1)
Format
- Paperback (1)
Sprog
- Engelsk (1)
Tags
- Software model checking (1)
- Program verification (1)
- Computational Models and Complexity (1)
Forlag
- Now Publishers Inc (1)

Ryd alle

Der er 1 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Multi-Valued Reasoning about Reactive Systems
- Orna Kupferman
- Bog, paperback
- Læs mere
- kr. 894,95
- kr. 779,95
  med Shopping-fordele
- Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
- kr. 894,95
- kr. 779,95
  med Shopping-fordele