Kniha Foundations of Software Science and Computational Structures Luca de Alfaro

Foundations of Software Science and Computational Structures

12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.02
This book constitutes the refereed proceedings of the 12th International Conference on Foundations o...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2009
Stránok
471
EAN
9783642005954
ISBN
3642005950
Enbook ID
01649429
Hmotnosť
741
Rozmery
155 x 235 x 27

Kompletný popis

This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. §The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.

Mohlo by vás zaujímať

67.74
20.55

Selfie

COVE KAY
14.28
9.39

IELTS Academic 2023

Saviour Eduction Abroad Pvt. Ltd.
18.59
27.40
30.83

Year Of The Comet

Sergei Lebedev
16.14
17.81

National Belongings

Jacqueline Andall
68.13
119.53
126.77
31.61

Sport Psychology

Gershon Tenenbaum
1 185.17
48.45

Photochemistry

Elisa Fasani
468.25
199.12

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež