Name: Interactive Systems: Design, Specification, And Verification: 8Th International Workshop, Dsv-Is 2001. Glasgow, Scotland, Uk, June 13-15, 2001. ... Notes in Computer Science, 2220, Band 2220)
Brand: Chris Johnson
SKU: ID12370395

Interactive Systems: Design, Specification, And Verification: 8Th International Workshop, Dsv-Is 2001. Glasgow, Scotland, Uk, June 13-15, 2001. ... Notes in Computer Science, 2220, Band 2220)

53.49 EUR 9% Off 59.00 EUR

Ein wissenschaftliches Werk aus dem internationalen Workshop DSV‑IS 2001, das die Entwicklung interaktiver Systeme analysiert, neue Modellierungsansätze vorstellt und Prüfverfahren kritisch bewertet.

Marke: Chris Johnson

ISBN: 3540428070

MPN: biography