The Calculus of Computation Aaron R. Bradley ; Zohar Manna Decision Procedures with Applications to Verification

Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems.
Voorraad:
Nieuw
Verkrijgbaar in
Webshop
Prijs:
€ 65,95
Voorraad:
Levertijd:

Afwijkende levertijd: 5 tot 7 Dagen.

Winkelvoorraad

Het kan zijn dat er op dit moment een verkoop plaatsvindt, waardoor de actuele voorraad afwijkt. Hier kunnen geen rechten aan worden ontleend.

Reserveren

Nieuwe boeken en ramsj kunt u reserveren wanneer deze op voorraad zijn. U kunt uw reservering in de winkel ophalen. De betaalwijze kunt u aangeven bij stap 3 'Betaalwijze'

.
MINDBUSZEUS2 : broekhuis