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 Computational Structures

14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Language EnglishEnglish
Book Paperback
Book Foundations of Software Science and Computational Structures Martin Hofmann
Libristo code: 01657590
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2011
This book constitutes the refereed proceedings of the 14th International Conference on Foundations o... Full description
? points 145 b
21 791 Ft
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Top
Sokół / Game/Toy Toy
common.buy 1 460 Ft
10 odvážných expedic Pia Stromstadová / Book Hardback
common.buy 2 630 Ft
Der Giftschrank / Game/Toy Game
common.buy 14 459 Ft
Omistettu Totuudenetsijalle Kari B. Lilja / Book Paperback
common.buy 6 777 Ft
Tres poetas en estado de alarma CARLOS NEGR XOSE Mª ALVAREZ CACCAMO / Book binding.
common.buy 5 739 Ft
Gustav Mahler Guido Adler / Book Paperback
common.buy 7 123 Ft
Dodici parole. Storie e pensieri di donne straordinarie per diventare ciò che vuoi essere Gabriela Jacomella / Book Paperback
common.buy 5 815 Ft
Lola rennt, 1 DVD Tom Tykwer / Video DVD
common.buy 6 071 Ft
storia non è finita. Etica, politica, laicità Claudio Magris / Book Paperback
common.buy 7 379 Ft
The Impact of Corporate Social Responsibility Lutz Preuss / Book Paperback
common.buy 25 232 Ft
Comparative Psychopathology Margaret Gopaul / Book Paperback
common.buy 30 492 Ft
Quartier d'affaires Jegou Delphine / Book Paperback
common.buy 10 867 Ft
Hirnifueter René Lehner / Book Hardback
common.buy 7 858 Ft
Memoires du marechal Marmont, duc de Raguse (3/9) Auguste Frédéric Louis Viesse de Marmont / Book Hardback
common.buy 8 896 Ft
Denimpop Katharina Hohmann / Book Paperback
common.buy 7 545 Ft
Hexen, Teufel und Germanen Mike Vogler / Book Paperback
common.buy 6 763 Ft
Der elektronisch ueberwachte Hausarrest Uwe Schlömer / Book Paperback
common.buy 41 388 Ft
Geschichte der griechischen Plastik fur Kunstler und Kunstfreunde Johannes Overbeck / Book Paperback
common.buy 16 308 Ft
Die Formeln der Erfolgreichsten - Teil 2 John Train / Book Paperback
common.buy 6 445 Ft
Rytíři krále Artuše Vladimír Hulpach / Audio Audio CD
common.buy 3 517 Ft
Hywel ab Owain Gwynedd Nerys Ann Jones / Book Paperback
common.buy 4 431 Ft
Die Mundorgel - Notenausgabe Dieter Corbach / Book Book
common.buy 4 194 Ft
Effektiv Starten Mit Turbo C++ Axel Kotulla / Book Paperback
common.buy 20 966 Ft

This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26 April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. §The 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis.

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 Computational Structures
Author Martin Hofmann
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 473
EAN 9783642198045
ISBN 364219804X
Libristo code 01657590
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 689
Dimensions 155 x 235 x 30

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 > Algorithms & data structures
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

Jewish Community of North Minneapolis Rhoda Lewin / Book Hardback
common.buy 9 843 Ft
Converging NGN Wireline and Mobile 3G Networks with IMS Rebecca Copeland / Book Hardback
common.buy 77 354 Ft
Interdisciplinarity Joe Moran / Book Hardback
common.buy 66 563 Ft
BUSINESS CHANGE GRIDS A Practitioner's Guide Thomas Kennedy / Book Paperback
common.buy 7 981 Ft
Archery: Its Theory And Practice (1856) Horace Alfred Ford / Book Hardback
common.buy 15 000 Ft
Some Account Of New Zealand John Savage / Book Paperback
common.buy 9 061 Ft
Federal Housing Assistance Programs for Low-Income Households Eric Collier. / Book Hardback
common.buy 93 852 Ft
Colorama Ravensburger / Game/Toy Game
common.buy 6 464 Ft
Analytical Applications Of Ionic Liquids Mihkel Koel / Book Hardback
common.buy 79 785 Ft
Brushes with Life- The Journey Continues Boyd Russell / Book Hardback
common.buy 12 730 Ft
Enhancing Optimization & Device Portability by Reducing Port Pin Count Amol Jagadale / Book Paperback
common.buy 12 772 Ft
Third Person Emily Anglin / Book Paperback
common.buy 7 365 Ft
Blues Moods: Four Solos by Rosemary Barrett Byers Rosemary Barrett Byers / Book Paperback
common.buy 3 199 Ft
A Kiss Is Coming Janovitz / Book Board book
common.buy 3 232 Ft
On Natural Order Caenan Perez / Book Paperback
common.buy 4 237 Ft
To Be Fated Willow Winters / Book Paperback
common.buy 10 507 Ft
Studio Ghibli My Neighbor Totoro Journal (Let’s Ride the Cat Bus) Studio Ghibli / Calendar/Diary Diary
common.buy 4 071 Ft
Understanding International Diplomacy Bjola / Book Paperback
common.buy 25 232 Ft
Jazz in the Classroom Eddie Harvey / Book Paperback
common.buy 6 009 Ft
Manual for UN Delegates De La Finance Observatoire / Book Paperback
common.buy 10 535 Ft
Sherlock Holmes: The Return of Sherlock Holmes (Sherlock Complete Set 6) Arthur Conan Doyle / Book Paperback
common.buy 4 597 Ft
Evidence-Based Medicine - In Sherlock Holmes' Footsteps Jorgen Nordenstrom / Book Paperback
common.buy 12 023 Ft
Egypt's Belle Epoque Trevor Mostyn / Book Paperback
common.buy 6 611 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?