Alle bøger af Daniel Kroening - Saxo. Læs Lyt Lev

Der er 10 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Computer Aided Verification
- 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
- Digitaltechnik - Eine praxisnahe Einführung
- Armin Biere , Daniel Kroening , Georg Weissenbacher
- Bog, paperback
- Sprog: Tysk
- Læs mere
- kr. 259,95
- kr. 244,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 259,95
- kr. 244,95
  med Shopping-fordele
- Decision Procedures
- Daniel Kroening & Ofer Strichman
- E-bog, PDF
- Sprog: Engelsk
- Læs mere
- kr. 539,95
- kr. 494,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 539,95
- kr. 494,95
  med Shopping-fordele
- Decision Procedures
- Ofer Strichman
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 499,95
- kr. 474,95
  med Shopping-fordele
- Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
- kr. 499,95
- kr. 474,95
  med Shopping-fordele
- Model Checking, second edition
- Orna Grumberg , Daniel Kroening , Doron Peled
- E-bog, ePub
- Sprog: Engelsk
- Læs mere
- kr. 559,95
- kr. 514,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 559,95
- kr. 514,95
  med Shopping-fordele
- Decision Procedures
- Ofer Strichman & Daniel Kroening
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 409,95
- kr. 389,95
  med Shopping-fordele
- Leveringstid: 8-10 Hverdage (Sendes fra fjernlager)
- kr. 409,95
- kr. 389,95
  med Shopping-fordele
- Decision Procedures
- Ofer Strichman & Daniel Kroening
- E-bog, PDF
- Sprog: Engelsk
- Læs mere
- kr. 454,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 454,95
- kr. 399,95
  med Shopping-fordele
- Decision Procedures
- Ofer Strichman & Daniel Kroening
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 269,95
- kr. 254,95
  med Shopping-fordele
- Leveringstid: 8-10 Hverdage (Sendes fra fjernlager)
- kr. 269,95
- kr. 254,95
  med Shopping-fordele
- Model Checking
- Edmund M. Clarke Jr , Orna Grumberg , Daniel Kroening
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 824,95
- kr. 789,95
  med Shopping-fordele
- Leveringstid: 4-7 hverdage (Sendes fra fjernlager)
- kr. 824,95
- kr. 789,95
  med Shopping-fordele
- Computer Aided Verification
- 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