Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 SPS 4.99 Kuriér GLS 3.99 Zberné miesto GLS 2.99 Packeta kurýr 4.99 Packeta 2.99 SPS Parcel Shop 2.99

Foundations of Software Science and Computation Structures

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Foundations of Software Science and Computation Structures Furio Honsell
Libristo kód: 01563389
This book constitutes the refereed proceedings of the 4th International Conference on Foundations of... Celý popis
? points 154 b
61.42
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru


Mohlo by vás tiež zaujímať


TOP
Art of Happiness Lama Dalai / Brožovaná
common.buy 12.20
TOP
Dorosłe dzieci niedojrzałych emocjonalnie rodziców Gibson Lindsay C. / Brožovaná
common.buy 13.91
Check Your English Vocabulary for IELTS Rawdon Wyatt / Brožovaná
common.buy 14.31
Misbehaving Richard H. Thaler / Brožovaná
common.buy 11.99
Wood Becomes Water Gail Reichstein / Brožovaná
common.buy 18.45
Mastering Muay Thai Kick-Boxing Joe E. Harvey / Pevná
common.buy 10.58
Creating Stylized Animals / Brožovaná
common.buy 33.68
PRIPRAVUJEME
Sensuous Frazetta J David Spurlock / Brožovaná
common.buy 22.89
Christus kam nur bis Eboli Carlo Levi / Brožovaná
common.buy 10.28
Urged (or, How Sex & Death Lift Up My Granny) Stella Brice / Brožovaná
common.buy 13.10
Dark Wear Tabitca Cope / Brožovaná
common.buy 18.25
Baller / Brožovaná
common.buy 14.62
Less Is More Lost Frequencies / Audio CD
common.buy 19.16
Databases in Networked Information Systems Subhash Bhalla / Brožovaná
common.buy 61.42
Holy Meal A Gordon T Smith / Brožovaná
common.buy 21.58

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.

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet