Részletes keresés

Törzsvásárlói pontegyenleg:

Törzsvásárló kártyám

Kedvezmény mértéke:

Törzsvásárló kártyám
/Regisztráció
Formális módszerek az informatikában
Kívánságlistához adom
Megosztom

Elérhető még:

Könyv
E-könyv

Formális módszerek az informatikában

Antikvár partner
Formális módszerek az informatikában
Kívánságlistához adom
Megosztom

typotex kiadó  | 2006  | papír / puha kötés  |  308 oldal

Libri Antikvárium
A kötet az informatikai szakma igényeinek megfelelően igyekszik gyakorlatorientált szemlélettel bemutatni azokat a legfontosabb matematikai eszközöket, amelyek az informatikai rendszerek tervezési és ellenőrzési folyamataiban szerepet játszanak. A könyv fókuszában a modellellenőrzés áll, amely egy olyan verifikációs technika, amely a rendszer egy véges modelljén bizonyítja be, hogy valamilyen megkövetelt tulajdonság teljesül. A kötet szerzői a Budapesti Műszaki Egyetem oktatói, akik a könyvet a műszaki informatikus alapképzésben jegyzetként is használják. A könyv ugyanakkor igyekszik a gyakorló informatikusok számára is érthető és hasznosítható ismereteket nyújtani.
+ Mutass többet - Mutass kevesebbet
Árinformációk
Ingyen szállítás 15 000 Ft felett
Online ár: 1 290 Ft

A termék megvásárlásával

129 pontot szerezhet

Legyen Ön is Törzsvásárlónk, Kártyájára akár 10% visszajár.

Beszállítói készleten

Személyes átvétel 4-6 munkanap

Ingyenes

Házhoz szállítás 4-6 munkanap

15 000 Ft felett ingyenes

Állapot:jó állapotú antikvár könyv
Kiadó typotex kiadó
Kiadás éve2006
Oldalak száma:308
Súly400 gr
ISBN2399960220121
ÁrukódSL#2111378310
Kötéspapír / puha kötés

Elérhető még:

Könyv
E-könyv

Vásárlói értékelések, vélemények

Kérjük, lépjen be az értékeléshez!

Árinformációk
Ingyen szállítás 15 000 Ft felett
Online ár: 1 290 Ft

A termék megvásárlásával

129 pontot szerezhet

Legyen Ön is Törzsvásárlónk, Kártyájára akár 10% visszajár.

Beszállítói készleten

Személyes átvétel 4-6 munkanap

Ingyenes

Házhoz szállítás 4-6 munkanap

15 000 Ft felett ingyenes

A kategória legkedveltebb termékei

B. Mátyus Gyöngyi - Bori István - Történelem érettségi témavázlatok II. Emelt szint
Történelem érettségi témavázlatok II. Emelt szint

B. Mátyus Gyöngyi - Bori István

Könyv
Eredeti ár: 5 000 Ft
Online ár: 4 750 Ft
Boronkai Szabolcs - Érettségi témakörök vázlata történelemből - emelt szinten
Érettségi témakörök vázlata történelemből - emelt szinten

Boronkai Szabolcs

Könyv
Eredeti ár: 4 680 Ft
Online ár: 4 446 Ft
Kotra Károly - Interaktív KRESZ könyv személygépkocsi-vezetők részére
Interaktív KRESZ könyv személygépkocsi-vezetők részére

Kotra Károly

Könyv
Eredeti ár: 3 500 Ft
Online ár: 3 325 Ft
Fráter Adrienne - Kottner Viktória - Érettségire készülök - MAGYAR NYELV ÉS IRODALOM FELKÉSZÍTŐKÖNYV a szóbeli érettségi vizsgára
Érettségire készülök - MAGYAR NYELV ÉS IRODALOM FELKÉSZÍTŐKÖNYV a szóbeli érettségi vizsgára

Fráter Adrienne - Kottner Viktória

Könyv
Eredeti ár: 4 980 Ft
Online ár: 4 731 Ft
Kotra Károly - KRESZ TESZT könyv személygépkocsi-vezetők részére
KRESZ TESZT könyv személygépkocsi-vezetők részére

Kotra Károly

Könyv
Eredeti ár: 3 500 Ft
Online ár: 3 325 Ft
Árva László - Simon Ferenc - 2025. évi érettségi tételek magyar nyelv és irodalomból (40 emelt szintű tétel)
2025. évi érettségi tételek magyar nyelv és irodalomból (40 emelt szintű tétel)

Árva László - Simon Ferenc

Könyv
Kiadói ár: 3 980 Ft
Bevezető ár: 3 582 Ft
Forrai Katalin - Ének az óvodában
Ének az óvodában

Forrai Katalin

Könyv
Eredeti ár: 4 499 Ft
Online ár: 4 274 Ft
Bajzáth Mária - Mesefoglalkozások gyűjteménye 1.
Mesefoglalkozások gyűjteménye 1.

Bajzáth Mária

Könyv
Eredeti ár: 3 999 Ft
Online ár: 3 799 Ft
B. Mátyus Gyöngyi - Bori István - Történelem érettségi témavázlatok I. Középszint
Történelem érettségi témavázlatok I. Középszint

B. Mátyus Gyöngyi - Bori István

Könyv
Eredeti ár: 3 800 Ft
Online ár: 3 610 Ft
Artur Jacomet - Josep Mármol - Anatómia és sportmasszázs
Anatómia és sportmasszázs

Artur Jacomet - Josep Mármol

Könyv
Eredeti ár: 6 490 Ft
Online ár: 6 165 Ft

Új megjelenések

Bruhács János - Kis Kelemen Bence - Mohay Ágoston - Nemzetközi jog I.
Nemzetközi jog I.

Bruhács János - Kis Kelemen Bence - Mohay Ágoston

Könyv
Eredeti ár: 4 515 Ft
Online ár: 4 289 Ft
Dobosyné Antal Anna (Szerk.) - Harlov-Csortán Melinda (Szerk.) - Nagy Gergely (Szerk.) - Értékképviselet az építészetben
Értékképviselet az építészetben

Dobosyné Antal Anna - Harlov-Csortán Melinda - Nagy Gergely

Könyv
Eredeti ár: 4 500 Ft
Online ár: 4 275 Ft
Bugár-Mészáros Károly - Könyvtár-enteriőrművészet 1.
Könyvtár-enteriőrművészet 1.

Bugár-Mészáros Károly

Könyv
Eredeti ár: 4 900 Ft
Online ár: 4 655 Ft
Lantos Mihály - Hogyan vizsgázz sikeresen
Hogyan vizsgázz sikeresen

Lantos Mihály

E-könyv
Árinformációk
Online ár: 2 590 Ft
Benedek Ferenc - Pókecz Kovács Attila - Római magánjog
Római magánjog

Benedek Ferenc - Pókecz Kovács Attila

Könyv
Eredeti ár: 8 737 Ft
Online ár: 8 300 Ft
Uni in&out 2022 Nyár
Uni in&out 2022 Nyár

E-könyv
Árinformációk
Online ár: 1 790 Ft
Szijártó M. István - A történelem diskurzusa
A történelem diskurzusa

Szijártó M. István

Könyv
Eredeti ár: 4 499 Ft
Online ár: 4 274 Ft
Bart István - Klaudy Kinga - EU fordítóiskola - Európai uniós szövegek fordítása angolról magyarra
EU fordítóiskola - Európai uniós szövegek fordítása angolról magyarra

E-könyv
Árinformációk
Online ár: 1 899 Ft
Bart István - Klaudy Kinga - Szöllősy Judy - Angol fordítóiskola
Angol fordítóiskola

E-könyv
Árinformációk
Online ár: 1 899 Ft
Nádor Orsolya - Tanított (anya)nyelvünk
Tanított (anya)nyelvünk

Nádor Orsolya

Könyv
Eredeti ár: 1 500 Ft
Online ár: 1 425 Ft
Sebők Marianna (Szerk.) - A munka világa a 21. század elején
akció
A munka világa a 21. század elején

Sebők Marianna

Könyv
Eredeti ár: 4 500 Ft Korábbi ár: 3 150 Ft
Akciós ár: 3 150 Ft
Holics László - A fizika OKTV feladatai és megoldásai 2004-2016
A fizika OKTV feladatai és megoldásai 2004-2016

Holics László

Könyv
Eredeti ár: 5 500 Ft
Online ár: 5 225 Ft
Alekszej Navalnij: HazafiAlekszej Navalnij: Hazafi