Kaikki kirjat 25 % alennuksella koodilla: BOOKS

  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

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 -

englanti
2026-03-16
146,80 € 195,73 €

-25% koodilla BOOKS

Toimittajalla varastossa

Toimitus 15-21 arkipäivässä

30 päivän palautusoikeus

Saatat myös pitää

Lisätietoja

Julkaisija OmniScriptum
Julkaisuvuosi 2026
Kannen tyyppi Pehmeäkantinen
EAN 9786130750671
Kirjoita oma arvostelusi
Arvostelet: 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
Arvostelusi:

Goodreads-arvostelut

146,80 € 195,73 €