Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

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,670

Discovery Miles 16 700

Repayment Terms: R157 pm x 12*

Add to cart

Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report (Paperback, 1993 ed.): Bernhard Moeller, Helmut Partsch,...

Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report (Paperback, 1993 ed.)

Bernhard Moeller, Helmut Partsch, Steve Schuman

Series: Lecture Notes in Artificial Intelligence, 755

(sign in to rate)

Loot Price R1,670 Discovery Miles 16 700 | Repayment Terms: R157 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 755
Release date:	November 1993
First published:	1993
Editors:	Bernhard Moeller • Helmut Partsch • Steve Schuman
Dimensions:	233 x 155 x 20mm (L x W x T)
Format:	Paperback
Pages:	375
Edition:	1993 ed.
ISBN-13:	978-3-540-57499-6
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer programming > General Books > Computing & IT > Applications of computing > General Promotions
LSN:	3-540-57499-9
Barcode:	9783540574996