Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Foundations of Software Science and Computation Structures

Name: Foundations of Software Science and Computation Structures
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563389
Price: 20407 HUF
Availability: InStock
Author: Furio Honsell
ISBN: 9783540418641

4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Furio Honsell

Marino Miculan

Language

English

Book Paperback

Libristo code: 01563389

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2001

This book constitutes the refereed proceedings of the 4th International Conference on Foundations of... Full description

Libristo code: 01563389

136 b

20 407 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Mon Couserans Peyronnet

Paperback

9 948 Ft

Argentina y Venezuela: 20 testimonios Alejandro Martinez Ubieda

Adobe ePub DRM

2 403 Ft

Dorosłe dzieci niedojrzałych emocjonalnie rodziców Gibson Lindsay C.

Paperback

4 687 Ft

V divočine 3D

Hardback

706 Ft

Richteramt und Ethik. Herbert Schambeck

Paperback

7 981 Ft

Lire et s'entrainer PROSPER MERIMEE

Paperback

3 578 Ft

This book constitutes the refereed proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001, held in Genova, Italy in April 2001.The 25 revised full papers presented together with an invited paper and a tool presentation paper were carefully reviewed and selected from a total of 63 submissions. Among the topics covered are algebraic, categorical, logical, and geometric theories, models, and methods supporting the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems.