Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings - książka wyd. 1981
22,48 zł 23,00 zł
tezeusz.pl Zobacz w sklepie Opis
Formalization of Programming Concepts is the proceedings of an international colloquium held in Peniscola, Spain in 1981, focused on the theoretical foundations and formal methods in programming. It includes papers and discussions on program specification, verification, semantics, and the formalization of programming constructs, providing insights for researchers and practitioners interested in rigorous approaches to software design and analysis.