Modal and Temporal Properties of Processes (angol)

· Springer-Verlag New York Inc. · 2011 · fűzött (paperback) · 191 oldal

Modal and Temporal Properties of Processes (angol)

A teljes rendelését egy csomagban küldjük el, 1 postaköltségért!
1 933 Ft
1 933 Ft
Az ár 13 % az ajálott fogyasztói árral szemben
Normál ár 2 231 Ft
A termék jelenleg nem elérhető.
Tekintse meg az elérhető alternatív termékeket.
In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. tovább 
Modal and Temporal Properties of Processes (angol)
A termék jelenleg nem elérhető.
1 933 Ft
  • Ez is érdekelheti
  • A szerző további könyvei
  • A kiadó további termékei
  • Utoljára megtekintett
  • Hasonló szerzők

Hasonló szerzők

Az ellenőrzött értékelések kifejezetten meg vannak jelölve, a többi nem ellenőrzött.
Semmilyen recenzió. Legyen Ön az első, írjon recenziót!
Váš avatar
Kiválasztás
Utónév
Az Ön recenziója
0

Látogatók könyve

Megjelölt ellenőrzött hozzászólások, a többi nem ellenőrzött.

Nagyker együttműködés

Ha érdekes a termékeik portfóliója, vegye fel velünk a kapcsolatot. Érdekes vásárlásokat, gyors fizetést és tiszteletteli együttműködést kínálunk.

nagykereskedesek@megakonyvek.hu

Alkoholt csak 18 éven felüliek vásárolhatnak.

Kérjük, erősítse meg, hogy már betöltötte a 18. életévét.