Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

Model Checking: Logic in computer science, Deadlock, Crash (computing), Algorithm, Logic, Structure (mathematical logic), Propositional calculus, BLAST model checker, CADP, CHIC (electronics), CHESS model checker -

inglise keel
2026-03-16
137,01 € 195,73 €

-30% koodiga BOOKS

Meie tarnija laos

Saadetis 15-21 tööpäeva jooksul

30-päevane tagastamisõigus

Võib-olla meeldib sulle ka

Lisateave

Kirjastaja OmniScriptum
Väljalaskeaasta 2026
Kaanetüüp Pehme kaanega
EAN 9786130750671
Kirjuta oma arvustus
Te vaatate: Model Checking: Logic in computer science, Deadlock, Crash (computing), Algorithm, Logic, Structure (mathematical logic), Propositional calculus, BLAST model checker, CADP, CHIC (electronics), CHESS model checker
Teie hinnang:

Goodreads'i arvustused

137,01 € 195,73 €