číslo produktu:112025
rezervujProgramming Concepts and Methods: Procomet 98
Rok vydania: 1998
Vydavateľ: Springer
Kniha je momentálne nedostupná.
V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.
O knihe:
This book presents state-of-the-art discussions of the key issues in programming concepts and methods, with a particular emphasis on formal specification, formal verification and mathematical foundations. The PROCOMET '98 workshop covers a number of important topics in this field, including compositional approaches to specification and verification, the design of verification support tools and practical software engineering issues in using programming concepts and methods.
Zaradenie do kategórii:
Podrobnosti o titule (výrobné údaje):
Väzba: tvrdá