Proprietăți modale și temporale ale proceselor (engleză)

· Springer-Verlag New York Inc. · 2011 · broșată · 191 pagini

Proprietăți modale și temporale ale proceselor (engleză)

Vom trimite întreaga comandă într-un singur colet pentru 1 taxă poștală!
1 932,75 lei
1 932,75 lei
Preț mai mic cu 13 % față de prețul recomandat
Preț normal 2 231,18 lei
Produsul nu este disponibil momentan.
Vizualizați alternativele disponibile.
In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. citește totul 
Proprietăți modale și temporale ale proceselor (engleză)
Produsul nu este disponibil momentan.
1 932,75 lei
  • Poate vă atrage
  • Alte cărți ale autorului
  • Alte cărți ale editurii
  • Ultimele vizualizate
  • Autori similari

Autori similari

Recenziile verificate sunt marcate în mod explicit, celelalte nu sunt verificate.
Aici nu sunt deloc recenzii. Fiți primul și scrieți-o pe a voastră!
Váš avatar
Alegeți
Prenume
Recenzia dvs.
0

Cartea vizitelor

Postările astfel marcate sunt autentificate, celelalte sunt neautentificate.

Cooperare engros

Dacă aveți un sortiment interesant, nu ezitați să ne contactați. Oferim comenzi interesante, plăți rapide și o cooperare cu respect.

angrosisti@megacarti.ro

Doar persoanele cu vârsta de peste 18 ani pot cumpăra alcool.

Vă rugăm să confirmați că aveți deja 18 ani.