Non ti piace? Non importa! Puoi restituire gli articoli fino a 30 giorni
Non puoi sbagliarti con un buono regalo. Con il buono regalo, il destinatario può scegliere qualsiasi prodotto della nostra offerta.
Fino a 30 giorni per il reso
This book summarizes the results of research on engineering methods for dependable systems through the deployment of formal methods in software development in applications such as automotive, space, railway and business systems, and microprocessor design.
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?