Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Foundations of Software Science and Computation Structures

Name: Foundations of Software Science and Computation Structures
Brand: Springer, Berlin
SKU: 01559191
Price: 51.65 EUR
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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01559191

Založba Springer, Berlin, november 2003

This book constitutes the refereed proceedings of the 7th International Conference on Foundations of... Celoten opis

Koda Libristo: 01559191

125 b

51.65 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

La musica. Scorri e gioca Nathalie Choux

Kartonka

17.58 €

Histoire de la Commune de 1871 Prosper-Oliver Lissagaray

Mehka

19.40 €

Hedy Darling Jochen Förster

Trda

25.16 €

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

Mehka

13.03 €

BIBO JEANNE GOURDON

Mehka

13.74 €

Una tierra para el hombre Díaz

Mehka

14.24 €

EinFach Deutsch Textausgaben Friedrich von Schiller

Mehka

7.27 €

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.