Contatto
Come acquistare
Consegna
Guida all'acquisto
Inglese
129 b
30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
20.09
€
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
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
13.49
€
/
In brossura
15.39
€
/
In brossura
35.49
€
/
Rigido
101.99
€
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?