Contatto
Come acquistare
Consegna
Guida all'acquisto
A Theory and Practice of Program Development
Inglese
132 b
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
27.69
€
/
In brossura
33.19
€
/
In brossura
14.89
€
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.
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
8.89
€
/
In brossura
16.89
€
/
In brossura
14.29
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?