Computer Aided Verification

Ești offline

Computer Aided Verification

Computer Aided Verification

Kim G. Larsen, Arne Skou

493

Pagini

1992

An

Paperback

Copertă

Adaugă în bibliotecă

Libristo

În stoc de la 300 Lei

Actualizat 1 săptămână în urmă

284.73

Lei

Editura Springer, Berlin

Copertă Paperback

Pagini 493

An publicare 1992

ISBN 9783540551799

Conectează-te pentru a lăsa o recenzie

🔥 🔥 🔥 🔥 🔥

Nicio recenzie încă

Fii primul care lasă o impresie.

Mai multe de Kim G. Larsen

CONCUR 2001 - Concurrency Theory

CONCUR 2001 - Concurrency Theory

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Cel mai bun preț

284.73 Lei

Literaz e mai bun în aplicație

Scanează cărți cu camera, compară prețuri
și organizează-ți raftul digital.

Deschide în aplicație