Contatto
Come acquistare
Consegna
Guida all'acquisto
Inglese
514 b
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
18.09
€
/
In brossura
7.49
€
/
In brossura
17.89
€
/
In brossura
14.99
€
This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: - data structures; - information management; - process control systems; - distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement.
Informazioni sul libro
Inglese
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
15.79
€
/
In brossura
71.69
€
/
In brossura
25.29
€
/
In brossura
15.39
€
/
In brossura
8.69
€
/
Rigido
191.29
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?