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 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Relational and Algebraic Methods in Computer Science

13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings

Language EnglishEnglish
Book Paperback
Book Relational and Algebraic Methods in Computer Science Wolfram Kahl
Libristo code: 01662112
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2012
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International... Full description
? points 125 b
51.73 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Der Makroskopische Aufbau Des Gro hirns H. Haug / Book Paperback
common.buy 62.57 €
Unreliable Narration in Caesars commentarius de bello Gallico Jennifer Ellermann / Book Paperback
common.buy 16.19 €
Stratégies et décisions - la crise du 11 septembre Francart / Book Paperback
common.buy 30.98 €
Voy a contaros la nieve BEATRIZ GIMENEZ / Book Paperback
common.buy 10.62 €
Training Program for Chess Players.2nd Category (ELO 1400-1800) (на английском я Viktor Golenischev / Book Hardback
common.buy 47.79 €
Beatrice Di Tenda Vincenzo Bellini / Book Paperback
common.buy 16.50 €
The secret of success Dr. Van Dyck / E-book Adobe ePub DRM
common.buy 13.15 €
Rusko-hrvatski i hrvatsko-ruski rječnik Todorcev Hlača Katarina Todorceva Žinić Viktorija / Book Hardback
common.buy 25.71 €
Aktuelle Megatrends aus städtebaulicher Perspektive. Wohnen von morgen / Book Paperback
common.buy 38.37 €
New
Lord of the Rings POP! Nooks Vinyl Diorama Bilbo Baggins Game/Toy Toy
common.buy 28.34 €
La Muse Francaise, 1823-1824. Tome 1 Jules Marsan / Book Paperback
common.buy 29.15 €
Cryptocommunisme Alizart / Book Hardback
common.buy 20.55 €
Piatnik Kvarteto - Auta (Papírová krabička) / Printed items Cards
common.buy 4.24 €
Immer nur Blödsinn im Kopf Oma Lisbeth / Book Hardback
common.buy 18.01 €
Bretagne - 1.000 Teile (Puzzle) / Game/Toy Game
common.buy 31.48 €
Westchnienia Mojej Duszy: Sighs from the Depth of My Soul Hanna Belska / Book Paperback
common.buy 13.05 €
24 Heilige und Schutzpatrone für unsere Jahreskrippe, Kamishibai Bildkartenset Martina Groß / Game/Toy Game
common.buy 17.41 €
Reinhard Flemmings Abenteuer Zu Wasser Und Zu Lande Heinrich Seidel / Book Paperback
common.buy 11.74 €
Amaretto Sour Claudia Ohswald / Book Paperback
common.buy 11.74 €
Mass Customized Marketing Peter Schnäbele / Book Paperback
common.buy 53.15 €
Einfluss von Inokolumpotential, Inkubationszeit und postinfektioneller Zusatzbefeuchtung auf die Schadrelevanz von Fusarium graminearum Sebastian Gresset / Book Paperback
common.buy 25.10 €

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations.

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 Relational and Algebraic Methods in Computer Science
Author Wolfram Kahl, Timothy G. Griffin
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 361
EAN 9783642333132
ISBN 3642333133
Libristo code 01662112
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 569
Dimensions 155 x 235 x 21

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

How Clouds Hold IT Together Marvin Waschke / Book Paperback
common.buy 45.66 €
Simplified Design of Data Converters John D. Lenk / Book Paperback
common.buy 66.62 €
Die Gedichte Ossians Eines Alten Celtischen Dichters (1768) Michael Denis / Book Paperback
common.buy 29.76 €
Building a Home that Loves You: A Post and Beam Architectural Philosophy Doug Rucker / Book Hardback
common.buy 39.58 €
Tantric Sex, Kama Sutra and Sex Positions Guide: The MOST Practical Guide with Advanced Techniques to Make WILD LOVE and EXPLODE your Private Life. Lana Fox / Book Paperback
common.buy 21.15 €
Running the Show Gill / Book Paperback
common.buy 59.53 €
Yucatan Peninsula 1:500 000 / Printed items Map
common.buy 13.76 €
A Voyage round the World William Henry Giles Kingston / Book Paperback
common.buy 8.09 €
Books of the Prophets in Their Historical Succession George Gillanders Findlay / Book Paperback
common.buy 23.28 €
Soft Skills for the Effective Lawyer Randall Kiser / Book Paperback
common.buy 44.14 €
Life, Letters, and Literary Remains of J. H. Shorthouse, Volume 1 Joseph Henry Shorthouse / Book Hardback
common.buy 39.28 €
Magic Keys of Tanglewood Malcolm Chester / Book Paperback
common.buy 15.38 €
Pathfinder Tales: Forge of Ashes Josh Vogt / Book Paperback
common.buy 8.90 €
Your Preschooler Discovers the Fine Arts Mishra / Book Paperback
common.buy 9.20 €
History of Greece. a New Edition. with Portrait, Map and Plans George Grote / Book Paperback
common.buy 30.77 €
L3 acquisition of the German Determiner Phrase Carol Jaensch / Book Paperback
common.buy 79.89 €
Alfred Hitchcock's Silent Films Marc Raymond Strauss / Book Paperback
common.buy 35.53 €
Marine Mammal Observer and Passive Acoustic Monitoring Handbook Erica Morrin / Book Hardback
common.buy 101.35 €
Year Book of Otolaryngology - Head and Neck Surgery 2012 Raj Sindwani / Book Hardback
common.buy 161.60 €
Nothing Whatever to Grumble at John Reed / Book Paperback
common.buy 18.01 €
Lives of the Queens of Scotland and English Princesses Agnes StricklandElizabeth Strickland / Book Paperback
common.buy 61.96 €
Liberal Descent J. W. Burrow / Book Paperback
common.buy 61.05 €
Bioenergy and Environmental Biotechnology for Sustainable Development Benjamin Ewa Ubi / Book Paperback
common.buy 69.05 €

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?