číslo produktu:108768
rezervujAlgorithimic Languages and Calculi
Rok vydania: 1997
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:
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.
Zaradenie do kategórii:
Podrobnosti o titule (výrobné údaje):
Väzba: tvrdá