Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01559191

Nakladateľstvo Springer, Berlin, november 2003

This book constitutes the refereed proceedings of the 7th International Conference on Foundations of... Celý popis

Libristo kód: 01559191

125 b

51.65 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

La musica. Scorri e gioca Nathalie Choux

Leporelo

18.59 €

Histoire de la Commune de 1871 Prosper-Oliver Lissagaray

Brožovaná

19.40 €

Hedy Darling Jochen Förster

Pevná

25.16 €

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

Brožovaná

13.03 €

BIBO JEANNE GOURDON

Brožovaná

13.74 €

Una tierra para el hombre Díaz

Brožovaná

14.24 €

EinFach Deutsch Textausgaben Friedrich von Schiller

Brožovaná

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.