This collection of tutorials has been written by the members of the Working Group on Formal Methods at the Regional Centre of the Hungarian Academy of Sciences, Veszprm (VEAB). The group was composed of mathematicians and engineers, all of them with strong interest in computation. The groups focus was that the ever-growing complexity of systems in information technology makes design and implementation process uncontrollable by traditional, mostly intuitive engineering methods. This collection of tutorials provides the ...
Read More
This collection of tutorials has been written by the members of the Working Group on Formal Methods at the Regional Centre of the Hungarian Academy of Sciences, Veszprm (VEAB). The group was composed of mathematicians and engineers, all of them with strong interest in computation. The groups focus was that the ever-growing complexity of systems in information technology makes design and implementation process uncontrollable by traditional, mostly intuitive engineering methods. This collection of tutorials provides the reader with concise summaries on some selected fields of mathematics and computer science, which have significance from the practical perspectives of information engineering.
Read Less
Add this copy of Formal Methods in Computing to cart. $32.00, very good condition, Sold by David's Books rated 3.0 out of 5 stars, ships from ypsilanti, MI, UNITED STATES, published 2005 by Akademiai Kiado.
Add this copy of Formal Methods in Computing to cart. $69.14, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2005 by Akademiai Kiado.
