Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Foundations of Software Science and Computation Structures

16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Language EnglishEnglish
Book Paperback
Book Foundations of Software Science and Computation Structures Frank Pfenning
Libristo code: 01663283
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2013
This book constitutes the proceedings of the 16th International Conference on Foundations of Softwar... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Ghoulies 4 (Uncut), 1 Blu-ray Jim Wynorski / Video Blu-ray
common.buy 14.69 €
Affordable
Red Arches Puzzle 1000 Teile / Game/Toy Game
common.buy 18.69 €
Hříšný gentleman Jodi Ellen Malpasová / Book Hardback
common.buy 19.79 €
Der Harz - Sagenumwoben und Wildromantisch (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 56.39 €
Love Letter Zman / Game/Toy Game
common.buy 18.49 €
Michel aus Lönneberga 1. Michel in der Suppenschüssel Björn Berg / Book Hardback
common.buy 17.00 €
Notes Balacron, bordó, tečkovaný / Book Sheet
common.buy 7.99 €
Pietramelara Antonio Di Lauro / Book Paperback
common.buy 21.69 €
Sprachverarbeitung und Integration von stereotypen Erwartungen bei auditiver Wahrnehmung Valentina Slaveva / Book Paperback
common.buy 17.95 €
Auswahl mit Variantenvergleich, Planung und produktionswirksame Einfuhrung eines Verfahrens zur Verschlusselung von externen Mails in der Berliner Vol Matthias Müller / Book Paperback
common.buy 38.00 €
Tarás Bulba Nikolaj Vasilevic Gogol / Book Paperback
common.buy 15.59 €
Compendio y análisis de los principales pronunciamientos del Tribunal Supremo en materia financiera Francisco Javier Cárdenas Gálvez / Book Paperback
common.buy 65.89 €
Lo que debe saber todo buen republicano Anónimo / Book Paperback
common.buy 16.29 €
I. Genealogie Und Mythographie, A. Vorrede. Text [Nr. 1-63]. Addenda. Konkordanz: A. Kommentar. Nachtrage Felix Jacoby / Book Hardback
common.buy 439.49 €
Skoré uzdravenie neuvedený autor / Book Hardback
common.buy 4.29 €
Brutus, auch Du! (Historischer Roman) Richard Voß / Book Paperback
common.buy 13.69 €
Mamut EVA BALTASAR / Book Paperback
common.buy 17.19 €
Naavakuusikon tarinoita Kari Välimäki / Book Paperback
common.buy 13.89 €
De Zeden Der Israeliten Gemaekt En De Zeden Der Christenen Gemaekt (1793) Claude Fleury / Book Paperback
common.buy 45.59 €
Espiral Magica Logico Primo P-3 Vivi A L'escola. Finken Verlag / Book Sheet
common.buy 25.09 €
vendetta di Frances Farmer Lucia Vaccarino / Book Hardback
common.buy 17.39 €
fanculo mascherina: piu di 50 frasi divertenti sulla mascherina Benito Di Luca / Book Paperback
common.buy 7.39 €

This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013§The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Foundations of Software Science and Computation Structures
Author Frank Pfenning
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 451
EAN 9783642370748
ISBN 3642370748
Libristo code 01663283
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 724
Dimensions 155 x 235 x 25

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Top
How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition Daniel Solow / Book Paperback
common.buy 97.99 €
Flow and Combustion in Reciprocating Engines C. Arcoumanis / Book Hardback
common.buy 107.29 €
Production-oriented and Comprehension-based Grammar Teaching in the Foreign Language Classroom Anna Mystkowska-Wiertelak / Book Hardback
common.buy 107.29 €
Defining the Spatial Scale in Modern Regional Analysis Esteban Fernández Vázquez / Book Paperback
common.buy 160.89 €
Globalization 2.0 Michael Ceyp / Book Paperback
common.buy 52.69 €
The Brain Fitness Blueprint Ruchika Sikri / Book Paperback
common.buy 16.89 €
Flatland: A Romance of Many Dimensions Edwin Abbott / Book Paperback
common.buy 11.59 €
Followers Bradeigh Godfrey / E-book Adobe ePub DRM
common.buy 11.99 €
Cato a Tragedy. By Joseph Addison, Esq. Joseph Addison / Book Hardback
common.buy 30.79 €
Combat HQ Jim Bambra / Book Paperback
common.buy 27.89 €
50 Unique Wedding Readings: Including wedding poems, wedding blessings and non-religious writings Marie Kay / Book Paperback
common.buy 6.49 €
The Golden Grill: A Colleen Broadhurst Adventure Christine B / Book Paperback
common.buy 11.59 €
Ceremonial Songs of the Creek and Yuchi Indians with Music Transcribed by Jacob D. Sapir Frank G Speck / Book Paperback
common.buy 24.89 €
Against All Hope - In Hope Believe Eric N Supen / Book Paperback
common.buy 12.59 €
On the Necessity for Radical Prison Reform. Philip C Garrett / Book Paperback
common.buy 12.49 €
Stranger in Ireland CARR / Book Hardback
common.buy 43.39 €
Top
Racing Car Design and Development Len Terry / Book Hardback
common.buy 47.39 €
The Acts of the Risen Lord Jesus: A Biblical Theology of Incarnation Alan J. Thompson / Book Paperback
common.buy 24.29 €
Historian in Exile Jeremy Cohen / Book Hardback
common.buy 78.39 €
Timelinks: Fifth Grade, Complete Student Edition Set (Volumes 1 and 2) MacMillan/McGraw-Hill / Book Hardback
common.buy 132.49 €
Top
Bringing the Rain to Kapiti Plain Verna Aardema / Book Paperback
common.buy 8.09 €
Elements Of Practical Mechanism And Machine Tools James Nasmyth / Book Paperback
common.buy 24.89 €
Kenosis: The Self-Emptying of Christ in Scripture and Theology Keith L. Johnson / Book Hardback
common.buy 58.69 €
Small Group and Team Communication Emma Keller / Book Paperback
common.buy 15.79 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?