Formal Modeling and Analysis of Timed Systems

Ești offline
Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Kim G. Larsen, Peter Niebert

281

Pagini

2004

An

Paperback

Copertă

Adaugă în bibliotecă
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Copertă Paperback
Pagini 281
An publicare 2004
ISBN 9783540216711

Conectează-te pentru a lăsa o recenzie

🔥 🔥 🔥 🔥 🔥

Nicio recenzie încă

Fii primul care lasă o impresie.

Literaz

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