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
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
20 331 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Pietramelara Antonio Di Lauro / Book Paperback
common.buy 8 173 Ft
Mamut EVA BALTASAR / Book Paperback
common.buy 6 303 Ft
Hříšný gentleman Jodi Ellen Malpasová / Book Hardback
common.buy 6 648 Ft
Affordable
Red Arches Puzzle 1000 Teile / Game/Toy Game
common.buy 5 085 Ft
Der Harz - Sagenumwoben und Wildromantisch (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 21 289 Ft
Love Letter Zman / Game/Toy Game
common.buy 6 978 Ft
Ghoulies 4 (Uncut), 1 Blu-ray Jim Wynorski / Video Blu-ray
common.buy 5 137 Ft
Michel aus Lönneberga 1. Michel in der Suppenschüssel Björn Berg / Book Hardback
common.buy 5 751 Ft
Notes Balacron, bordó, tečkovaný / Book Sheet
common.buy 3 055 Ft
Brutus, auch Du! (Historischer Roman) Richard Voß / Book Paperback
common.buy 5 180 Ft
Sprachverarbeitung und Integration von stereotypen Erwartungen bei auditiver Wahrnehmung Valentina Slaveva / Book Paperback
common.buy 6 407 Ft
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 13 461 Ft
Reprasentation kultureller Zeichen durch kapitalisierende Kompetenzen, Marken und Streams Milo Tadic / Book Paperback
common.buy 20 496 Ft
Tarás Bulba Nikolaj Vasilevic Gogol / Book Paperback
common.buy 5 449 Ft
Compendio y análisis de los principales pronunciamientos del Tribunal Supremo en materia financiera Francisco Javier Cárdenas Gálvez / Book Paperback
common.buy 23 055 Ft
Lo que debe saber todo buen republicano Anónimo / Book Paperback
common.buy 5 704 Ft
I. Genealogie Und Mythographie, A. Vorrede. Text [Nr. 1-63]. Addenda. Konkordanz: A. Kommentar. Nachtrage Felix Jacoby / Book Hardback
common.buy 168 813 Ft
Skoré uzdravenie neuvedený autor / Book Hardback
common.buy 1 435 Ft
fanculo mascherina: piu di 50 frasi divertenti sulla mascherina Benito Di Luca / Book Paperback
common.buy 2 800 Ft
Naavakuusikon tarinoita Kari Välimäki / Book Paperback
common.buy 5 283 Ft
De Zeden Der Israeliten Gemaekt En De Zeden Der Christenen Gemaekt (1793) Claude Fleury / Book Paperback
common.buy 17 158 Ft
Espiral Magica Logico Primo P-3 Vivi A L'escola. Finken Verlag / Book Sheet
common.buy 8 758 Ft
vendetta di Frances Farmer Lucia Vaccarino / Book Hardback
common.buy 6 586 Ft

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

Flow and Combustion in Reciprocating Engines C. Arcoumanis / Book Hardback
common.buy 40 544 Ft
Production-oriented and Comprehension-based Grammar Teaching in the Foreign Language Classroom Anna Mystkowska-Wiertelak / Book Hardback
common.buy 40 544 Ft
Defining the Spatial Scale in Modern Regional Analysis Esteban Fernández Vázquez / Book Paperback
common.buy 60 756 Ft
How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition Daniel Solow / Book Paperback
common.buy 29 916 Ft
Globalization 2.0 Michael Ceyp / Book Paperback
common.buy 19 929 Ft
Top
Racing Car Design and Development Len Terry / Book Hardback
common.buy 17 979 Ft
Collecting the Top 100 O-Pee-Chee Hockey Card Goalies Richard Scott / Book Paperback
common.buy 9 254 Ft
Cato a Tragedy. By Joseph Addison, Esq. Joseph Addison / Book Hardback
common.buy 11 620 Ft
Combat HQ Jim Bambra / Book Paperback
common.buy 10 538 Ft
50 Unique Wedding Readings: Including wedding poems, wedding blessings and non-religious writings Marie Kay / Book Paperback
common.buy 2 427 Ft
The Golden Grill: A Colleen Broadhurst Adventure Christine B / Book Paperback
common.buy 4 401 Ft
Ceremonial Songs of the Creek and Yuchi Indians with Music Transcribed by Jacob D. Sapir Frank G Speck / Book Paperback
common.buy 9 386 Ft
Against All Hope - In Hope Believe Eric N Supen / Book Paperback
common.buy 4 759 Ft
On the Necessity for Radical Prison Reform. Philip C Garrett / Book Paperback
common.buy 4 759 Ft
Followers Bradeigh Godfrey / E-book Adobe ePub DRM
common.buy 5 449 Ft
Martha Manual: How to do (Almost) Everything Martha Stewart / Book Hardback
common.buy 11 242 Ft
The Acts of the Risen Lord Jesus: A Biblical Theology of Incarnation Alan J. Thompson / Book Paperback
common.buy 9 221 Ft
Historian in Exile Jeremy Cohen / Book Hardback
common.buy 29 510 Ft
Bringing the Rain to Kapiti Plain Verna Aardema / Book Paperback
common.buy 3 069 Ft
Etiquette Guide to China Boye Lafayette De Mente / Book Paperback
common.buy 3 654 Ft
The Vicar Of Tours Honore De Balzac / Book Hardback
common.buy 13 461 Ft
Kenosis: The Self-Emptying of Christ in Scripture and Theology Keith L. Johnson / Book Hardback
common.buy 19 462 Ft
Reagan Moment Jonathan R. Hunt / Book Paperback
common.buy 18 489 Ft
Small Group and Team Communication Emma Keller / Book Paperback
common.buy 5 987 Ft

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?