|
Books > Computing & IT > Computer programming
|
Buy Now
Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report (Paperback, 1993 ed.)
Loot Price: R1,659
Discovery Miles 16 590
|
|
|
Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report (Paperback, 1993 ed.)
Series: Lecture Notes in Artificial Intelligence, 755
Expected to ship within 10 - 15 working days
|
This volume contains the background texts for an IFIP
State-of-the-Art Seminar on Formal Program Development, held in
early 1992 near Rio de Janeiro, Brazil. The book stems from work
done by IFIP Working Group 2.1 on Algorithmic Languages and
Calculi. Since 1975, the Working Group has increasingly focused on
systematic approaches to programming and on appropriate concepts
and notations to support such approaches. Today, the calculation of
programs from specifications constitutes the central theme ofthe
group's work. Thus the core interests of the group are: - formal
specification of solutions to problems, and - formal
development/calculationof programs from such specifications.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
