✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Model Checking

Model Checking

Softcover - 9786130750671
136,00 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 5 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

Anmerkung der Shop-Redaktion: Leider liegt bei uns für dieses Buch (noch) keine Beschreibung vor.

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

Details

Verlag OmniScriptum
Ersterscheinung 16. März 2026
Maße 22 cm x 15 cm x 0.6 cm
Gewicht 155 Gramm
Format Softcover
ISBN-13 9786130750671
Seiten 92

Schlagwörter

Computerprogrammierung und Softwareentwicklung, Informatik