LIBRISTO
LIBROAMANTO
obowiązkowe
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 Poczta Polska 18.99 Paczkomat 13.99 InPost Kurier 12.99 Punkt DPD 13.99

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Foundations of Software Science and Computation Structures

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

Język AngielskiAngielski
Książka Miękka
Książka Foundations of Software Science and Computation Structures Igor Walukiewicz
Kod Libristo: 01559191
Wydawnictwo Springer, Berlin, listopad 2003
This book constitutes the refereed proceedings of the 7th International Conference on Foundations of... Cały opis
? points 125 b
223.30
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot


Klienci kupili także


Terzinen des Herzens Annemarie Bostroem / Książka Miękka
common.buy 48.19
La musica. Scorri e gioca Nathalie Choux / Książka Leporelo
common.buy 80.33
Histoire de la Commune de 1871 Prosper-Oliver Lissagaray / Książka Miękka
common.buy 88.21
Hedy Darling Jochen Förster / Książka Twarda
common.buy 108.98
BIBO JEANNE GOURDON / Książka Miękka
common.buy 65.39
Una tierra para el hombre Díaz / Książka Miękka
common.buy 68.05
EinFach Deutsch Textausgaben Friedrich von Schiller / Książka Miękka
common.buy 31.61

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować


Book Of Kubernetes Hohn / Książka Miękka
common.buy 181.13
Arithmetic of Finite Fields Joachim Gathen / Książka Miękka
common.buy 223.30
Zapowiedź
Old Mother Hubbard's Dog Dresses Up John Yeoman / Książka Miękka
common.buy 33.25
The Bird-Nest Boarding House (1922) Verbena Reed / Książka Miękka
common.buy 124.54
Shelley Kenneth Neill Cameron / Książka Twarda
common.buy 207.02
SELECT ESSAYS OF ADDISON: TOGETHER WITH JOSEPH ADDISON / Książka Twarda
common.buy 197.92
Federal Reserve System Carl H. Moore / Książka Miękka
common.buy 138.76
Building Telecom Markets Whasun Jho / Książka Miękka
common.buy 445.17

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?