Springer Nature
Unifying Theories Of Programming
Miglior prezzo disponibile
44,99$
Springer Nature · Spedizione gratuita
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 44,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Unifying Theories Of Programming
54,99$
Unifying Theories Of Programming And Formal Engineering Methods
54,99$
A Unifying Framework For Formal Theories Of Novelty
37,99$
Theories Of Programming And Formal Methods
59,99$
First-Order Programming Theories
109,99$
Unifying The Philosophy Of Truth
84,99$