Systems and Software Verification (angol)

· Springer-Verlag Berlin and Heidelberg GmbH & Co. KG · 2010 · puha kötésű · 190 oldal

Systems and Software Verification (angol)

A teljes rendelését egy csomagban küldjük el, 1 postaköltségért!
3 515 Ft
3 515 Ft
Az ár 3 % az ajálott fogyasztói árral szemben
Normál ár 3 610 Ft
A termék jelenleg nem elérhető.
Tekintse meg az elérhető alternatív termékeket.
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking... tovább 
Systems and Software Verification (angol)
A termék jelenleg nem elérhető.
3 515 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.