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.)

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
LSN:	3-540-43366-X
Barcode:	9783540433668

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!