phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Specification, Modelling, Verification and Runtime Analysis of Real Time Systems

Limba englezăengleză
Carte Carte broșată
Carte Specification, Modelling, Verification and Runtime Analysis of Real Time Systems Georgios Logothetis
Codul Libristo: 08746908
Editura IOS PRESS, aprilie 2004
This book focuses on the use of formal methods in order to guarantee the correctness of real-time sy... Descrierea completă
? points 197 b
399 lei
În depozitul extern Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Innocents Born Heeathe Goad / Carte broșată
common.buy 130 lei
Medical Abbreviations and Other Interpretive Tools Jeevan Hingorani / Carte broșată
common.buy 88 lei
What! Do You Think God Hates You? W D Taylor / Carte broșată
common.buy 75 lei
I Remember You Michael Culross / Carte broșată
common.buy 89 lei
Ignoring Poverty in the U.S. P. L. Thomas / Copertă tare
common.buy 616 lei
Mystical Connection Hermaneli M D Torrevillas / Copertă tare
common.buy 217 lei
Magazine of Natural History Anonymous / Copertă tare
common.buy 259 lei
Window To My Soul Amethyst A Nelson-Preston / Carte broșată
common.buy 109 lei
Ueber Den Spannungszustand Einseitig Aufgebrachter Laschen Im Bau Von Zellstoffkochern Ernst Hohn / Carte broșată
common.buy 354 lei
Now That You Are Awake Gordon Bruce Waldie / Carte broșată
common.buy 109 lei
Price of Enlightenment John Trethewey / Carte broșată
common.buy 119 lei
Welcome to the Book of Common Prayer Vicki K. Black / Carte broșată
common.buy 91 lei

This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-tim

Informații despre carte

Titlu complet Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Autor Georgios Logothetis
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 202
EAN 9781586034139
ISBN 9781586034139
Codul Libristo 08746908
Editura IOS PRESS
Greutatea 300
Dimensiuni 148 x 210 x 10

Categorii

Technology, Engineering, Agriculture > Mechanical engineering & materials > Mechanical engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo