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 > Software engineering

Buy Now

Foundations of Software Science and Computation Structures - 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings (Paperback, 2002 ed.) Loot Price: R1,707

Discovery Miles 17 070

Repayment Terms: R160 pm x 12*

Add to cart

Foundations of Software Science and Computation Structures - 5th International Conference, FOSSACS 2002. Held as Part of the...

Foundations of Software Science and Computation Structures - 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings (Paperback, 2002 ed.)

Mogens Nielsen, Uffe Engberg

Series: Lecture Notes in Computer Science, 2303

(sign in to rate)

Loot Price R1,707 Discovery Miles 17 070 | Repayment Terms: R160 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2002, held in Grenoble, France, in April 2002.The 28 revised full papers presented together with an extended abstract of an invited paper were carefully reviewed and selected from a total of 67 submissions. Among the topics addressed are algebraic, categorical, logical, and geometric theories, models and methods which support the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed, and mobile programs and software systems.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2303
Release date:	2001
First published:	2002
Editors:	Mogens Nielsen • Uffe Engberg
Dimensions:	235 x 155 x 23mm (L x W x T)
Format:	Paperback
Pages:	443
Edition:	2002 ed.
ISBN-13:	978-3-540-43366-8
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > Software engineering Promotions
LSN:	3-540-43366-X
Barcode:	9783540433668