info@buecher-doppler.ch

056 222 53 47

Registrieren/Login

Start
Partial Order Methods in Verification

Partial Order Methods in Verification

Partial Order Methods in Verification

Angebote / Angebote:

Fremdlagertitel. Lieferzeit unbestimmt

Preis

175,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9780821805794
Status Fremdlagertitel. Lieferzeit unbestimmt
Autor Peled, Doron / Pratt, Vaughan R. / Holzmann, Gerard J.
Einband Fester Einband
Sprache eng
Seiten 403
Verlag American Mathematical Society
Reihe Series in Discrete Mathematics & Theoretical Computer Science
Publikationsjahr 1997

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.

Artikel, die Sie kürzlich angesehen haben

Mechanical Design of Microresonators

Mechanical Design of Microresonators

Folgt in ca. 15 Arbeitstagen

Lobontiu, Nicolae

295,00 CHF

Q&A PICASSO

Q&A PICASSO

Folgt in ca. 15 Arbeitstagen

19,90 CHF

Boundary Element Techniques in Computer-Aided Engineering

Boundary Element Techniques in ...

Folgt in ca. 15 Arbeitstagen

236,00 CHF

Enriched Composition and Inference in the Argument Structure of Chinese

Enriched Composition and Inference ...

Lieferbar in ca. 10-20 Arbeitstagen

156,00 CHF