Model Checking - Clarke, Edmund M. , Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled (ISBN: 9780262038836)

Írjon véleményt!

Árfigyelő Összehasonlítás

Forgalmazó

36 375 Ft Részletek

Boltok és árak

Ajánlataink Model Checking - Clarke, Edmund M. , Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled (ISBN: 9780262038836) termékre

Ajánlataink a termékre

(10238 vélemény)

Bolt infó

Model Checking - Clarke, Edmund M. , Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled

36 375 Ft

Ingyenes kiszállítás

Részletek a boltban

irány a bolt »

libristo.hu

Vásárlási Garancia

Vásároljon közvetlenül az Árukereső.hu oldalán problémamentesen!

A Vásárlási garancia szolgáltatásunk minden olyan megrendelésre vonatkozik, amelyet közvetlenül az Árukereső.hu oldalán keresztül ad le a "Megvásárolom" gomb megnyomásával.

Hisszük, hogy nálunk problémamentes a vásárlás, így nem félünk azt garantálni.

90 napos termék visszaküldés

A sértetlen és bontatlan gyártói csomagolású terméket 90 napon belül visszaküldheti, és a kereskedő megtéríti a termék árát.
Árgarancia

Garantáljuk, hogy nincsenek rejtett költségek. A terméket azon az áron kapja meg, amelyen mi visszaigazoltuk Önnek.
A pénze biztonságban van

Ha az Árukeresőn keresztül vásárol, nem veszíti el a pénzét. Ha a megrendelt termék nem érkezik meg, visszatérítjük pénzét, és átvállaljuk a további ügyintézést a kereskedővel.
Nincs több probléma a megrendelt termékkel

Amennyiben sérült vagy más terméket kapott, mint amit rendelt, segítünk a kereskedővel való ügy lebonyolításában, és megtérítjük az okozott kárt.
Nincsenek megválaszolatlan kérdések

Segítünk Önnek a kereskedővel való kommunikációban. Kérdéseivel bármikor fordulhat hozzánk, panasz esetén pedig segítünk annak a rendezésében.

Megvásárolom

Irány a bolt »

Paraméterek, termékleírás - Model Checking - Clarke, Edmund M. , Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled (ISBN: 9780262038836)

Író	CLARKE, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled, Edmund M. , Jr. (Carnegie Mellon University), Orna (Technion) Grumberg

Nyelv: Angol, Kötés: Kemény kötésű, Oldalszám: 424, Kiadó: MIT Press Ltd, Autor: Clarke, Edmund M. , Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled, ISBN-13: 9780262038836, Kiadás éve: 2018
Model Checking - Clarke, Edmund M. , Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled (ISBN: 9780262038836) teljes leírás »

Termékleírás

Író	CLARKE, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled, Edmund M. , Jr. (Carnegie Mellon University), Orna (Technion) Grumberg

Hibát talált a leírásban vagy az adatlapon? Jelezze nekünk!

Vélemények

Kérdezz felelek

Oldalainkon a partnereink által szolgáltatott információk és árak tájékoztató jellegűek, melyek esetlegesen tartalmazhatnak téves információkat. A képek csak tájékoztató jellegűek és tartalmazhatnak tartozékokat, amelyek nem szerepelnek az alapcsomagban. A termékinformációk (kép, leírás vagy ár) előzetes értesítés nélkül megváltozhatnak. Az esetleges hibákért, elírásokért az Árukereső nem felel.