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, Berlin
SKU: 01559191
Price: 20424 HUF
Availability: InStock
Author: Igor Walukiewicz
ISBN: 9783540212980

7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Igor Walukiewicz

Language

English

Book Paperback

Libristo code: 01559191

Publishers Springer, Berlin, November 2003

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

Libristo code: 01559191

136 b

20 424 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Lecturas Gominola S de safari - Libro Pedro Tena Tena

Paperback

5 116 Ft

Una tierra para el hombre Díaz

Paperback

5 705 Ft

BIBO JEANNE GOURDON

Paperback

5 480 Ft

Catalogue d'Anciennes Porcelaines de Sevres Et d'Allemagne, Collection d'Assiettes Charles Mannheim

Paperback

5 495 Ft

Histoire de la Commune de 1871 Prosper-Oliver Lissagaray

Paperback

8 248 Ft

La musica. Scorri e gioca Nathalie Choux

Board book

4 607 Ft

Hedy Darling Jochen Förster

Hardback

10 098 Ft

EinFach Deutsch Textausgaben Friedrich von Schiller

Paperback

2 877 Ft

This book constitutes the refereed proceedings of the 7th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2004, held in Barcelona, Spain in March/April 2004.The 34 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from over 130 submissions. Among the topics addressed are lambda calculus, cryptographic protocol analysis, graphs and grammar systems, decision theory, bisimulation, rewriting, normalization, specification, verification, process calculi, mobile code, automata, program semantics, dynamic logics, timed languages, security analysis, information-theoretical aspects.