Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009 Held as Part of the Joint European Conferenc - Luca de Alfaro

Foundations of Software Science and Computational Structures

12th International Conference, FOSSACS 2009 Held as Part of the Joint European Conferenc

By: Luca de Alfaro (Editor)

Paperback | 9 March 2009

At a Glance

Paperback


$101.07

or 4 interest-free payments of $25.27 with

 or 

Aims to ship in 7 to 10 business days

ETAPS 2009 was the 12th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, COCV, COMPASS, FESCA, FInCo, FORMED, GaLoP, GT-VMT, HFL, LDTA, MBT, MLQA, OpenCert, PLACES, QAPL, RC, SafeCert, TAASN, TERMGRAPH, and WING),fourtutorials,andseveninvitedlectures(excludingthosethatweres- ci?c to the satellite events). The ?ve main conferences received 532 submissions (including 30 tool demonstration papers), 141 of which were accepted (10 tool demos), giving an overall acceptance rate of about 26%, with most of the c- ferences at around 25%. Congratulations therefore to all the authors who made it to the ?nal programme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that youwill allcontinue submitting to ETAPS and contributing towards making it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.

More in Mathematical Logic

MAGIC GARDEN OF GEORGE B AND OTHER LOGIC PUZZLES, THE - RAYMOND SMULLYAN
Partial Truths : How Fractions Distort Our Thinking - James C. Zimring
Limitless Mind : Learn, Lead and Live Without Barriers - Jo Boaler
BEGINNER'S FURTHER GUIDE TO MATHEMATICAL LOGIC, A - RAYMOND SMULLYAN
Tractatus Logico-Philosophicus - Ludwig Wittgenstein
The GCHQ Puzzle Book II

RRP $37.99

$33.90

11%
OFF
The Penguin Book of Puzzles - Gareth Moore
Tractatus Logico-Philosophicus : Tractatus Logico-Philosophicus - Ludwig Wittgenstein
Languages and Automata : Gagta Book 3 - No Contributor
The Art of Logic in an Illogical World - Eugenia Cheng
Secret History : The Story of Cryptology - Craig P. Bauer

RRP $120.00

$90.50

25%
OFF
Information Security and Optimization - Rohit Tanwar

RRP $101.00

$77.95

23%
OFF
Access Control, Security, and Trust : A Logical Approach - Shiu-Kai Chin