Cumpara de la carturesti.ro

Decision Procedures | Daniel Kroening, Ofer Strichman - Springer-Verlag Berlin and Heidelberg GmbH & Co. KG


Decision Procedures | Daniel Kroening, Ofer Strichman
414.5 Lei

Disponibil

(09-06-2024)
Cumpara de la carturesti.ro

Produs vandut de carturesti.ro

(0)

Review(s)

Verifica toate preturile pentru acest produs : click aici


Distribuie pe :


Descriere :

Cumpara decision procedures | springer-verlag berlin and heidelberg gmbh & co. kg de calitate.
Pe yeo poti sa gasesti cel mai bun pret pentru decision procedures | springer-verlag berlin and heidelberg gmbh & co. kg

This textbook on Decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa.
The authors focus on theories that are expressive enough to model real problems, but are still decidable..
This textbook on Decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa


Uneori, aceste descrieri pot contine inadvertente. De asemenea, imaginea este informativa si poate contine accesorii neincluse in pachetele standard.
logo

  • Produsele tale vor fi disponibile pentru toti clientii nostri, in fiecare zi, pe yeo.ro
  • Vor fi promovate pe retele de socializare si bloguri
  • De asemenea, vom crea continut video pentru 20 de produse