Non ti piace? Non importa! Puoi restituircelo entro 30 giorni
Non puoi sbagliarti con un buono regalo. Con il buono regalo, il destinatario può scegliere qualsiasi prodotto della nostra offerta.
30 giorni per il reso
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?