info@buecher-doppler.ch

056 222 53 47

Registrieren/Login

Start
Model Checking

Model Checking

Angebote / Angebote:

-- R. P. Kurshan, Distinguished Member Technical Staff, Bell Laboratories

Folgt in ca. 15 Arbeitstagen

Preis

97,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9780262032704
Status Folgt in ca. 15 Arbeitstagen
Autor Jr., Edmund M. Clarke (Carnegie Mellon University) / Grumberg, Orna (Technion) / Peleg, Doron
Einband Fester Einband
Sprache eng
Seiten 330
Verlag MIT Press Ltd
Reihe Cyber Physical Systems Series
Publikationsjahr 1999

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.

Artikel, die Sie kürzlich angesehen haben

Silence

Silence

Lieferbar in ca. 10-20 Arbeitstagen

19,50 CHF