Temporal Logic in Specification

Ești offline
Temporal Logic in Specification

Temporal Logic in Specification

Benham Banieqbal, Howard Barringer, Amir Pnueli

452

Pagini

Paperback

Copertă

Adaugă în bibliotecă
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Copertă Paperback
Pagini 452
ISBN 9783540518037

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