Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Balík do ruky 74 Balíkovna 49 GLS 54 Kurýr GLS 64 Zásilkovna 44 PPL 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
1 542
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží


Mohlo by vás také zajímat


TOP
Art of Happiness Lama Dalai / Brožovaná
common.buy 347
TOP
Wood Becomes Water Gail Reichstein / Brožovaná
common.buy 526
Check Your English Vocabulary for IELTS Rawdon Wyatt / Brožovaná
common.buy 331
Misbehaving Richard H. Thaler / Brožovaná
common.buy 298
Mastering Muay Thai Kick-Boxing Joe E. Harvey / Pevná
common.buy 253
Dorosłe dzieci niedojrzałych emocjonalnie rodziców Gibson Lindsay C. / Brožovaná
common.buy 350
Creating Stylized Animals / Brožovaná
common.buy 897
Připravujeme
Sensuous Frazetta J David Spurlock / Brožovaná
common.buy 574
Urged (or, How Sex & Death Lift Up My Granny) Stella Brice / Brožovaná
common.buy 328
Christus kam nur bis Eboli Carlo Levi / Brožovaná
common.buy 258
Dark Wear Tabitca Cope / Brožovaná
common.buy 458
Less Is More Lost Frequencies / Audio CD
common.buy 482
Baller / Brožovaná
common.buy 368
No Strings Attached Kate Angell / Brožovaná
common.buy 459
Databases in Networked Information Systems Subhash Bhalla / Brožovaná
common.buy 1 542

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.

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet