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

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
18 818 Ft
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 22 762 Ft
Unreliable Narration in Caesars commentarius de bello Gallico Jennifer Ellermann / Book Paperback
common.buy 6 442 Ft
Stratégies et décisions - la crise du 11 septembre Francart / Book Paperback
common.buy 11 232 Ft
Voy a contaros la nieve BEATRIZ GIMENEZ / Book Paperback
common.buy 3 869 Ft
Training Program for Chess Players.2nd Category (ELO 1400-1800) (на английском я Viktor Golenischev / Book Hardback
common.buy 17 370 Ft
Beatrice Di Tenda Vincenzo Bellini / Book Paperback
common.buy 6 489 Ft
The secret of success Dr. Van Dyck / E-book Adobe ePub DRM
common.buy 4 804 Ft
Rusko-hrvatski i hrvatsko-ruski rječnik Todorcev Hlača Katarina Todorceva Žinić Viktorija / Book Hardback
common.buy 10 401 Ft
Aktuelle Megatrends aus städtebaulicher Perspektive. Wohnen von morgen / Book Paperback
common.buy 15 281 Ft
New
Lord of the Rings POP! Nooks Vinyl Diorama Bilbo Baggins Game/Toy Toy
common.buy 10 311 Ft
La Muse Francaise, 1823-1824. Tome 1 Jules Marsan / Book Paperback
common.buy 11 426 Ft
Cryptocommunisme Alizart / Book Hardback
common.buy 7 453 Ft
Piatnik Kvarteto - Auta (Papírová krabička) / Printed items Cards
common.buy 1 552 Ft
Immer nur Blödsinn im Kopf Oma Lisbeth / Book Hardback
common.buy 6 565 Ft
Bretagne - 1.000 Teile (Puzzle) / Game/Toy Game
common.buy 11 469 Ft
Westchnienia Mojej Duszy: Sighs from the Depth of My Soul Hanna Belska / Book Paperback
common.buy 5 132 Ft
24 Heilige und Schutzpatrone für unsere Jahreskrippe, Kamishibai Bildkartenset Martina Groß / Game/Toy Game
common.buy 6 337 Ft
Reinhard Flemmings Abenteuer Zu Wasser Und Zu Lande Heinrich Seidel / Book Paperback
common.buy 4 258 Ft
Amaretto Sour Claudia Ohswald / Book Paperback
common.buy 4 258 Ft
Mass Customized Marketing Peter Schnäbele / Book Paperback
common.buy 19 330 Ft
Einfluss von Inokolumpotential, Inkubationszeit und postinfektioneller Zusatzbefeuchtung auf die Schadrelevanz von Fusarium graminearum Sebastian Gresset / Book Paperback
common.buy 9 978 Ft

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 13 999 Ft
Simplified Design of Data Converters John D. Lenk / Book Paperback
common.buy 24 234 Ft
Die Gedichte Ossians Eines Alten Celtischen Dichters (1768) Michael Denis / Book Paperback
common.buy 11 683 Ft
Building a Home that Loves You: A Post and Beam Architectural Philosophy Doug Rucker / Book Hardback
common.buy 15 385 Ft
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 8 307 Ft
Running the Show Gill / Book Paperback
common.buy 22 235 Ft
Yucatan Peninsula 1:500 000 / Printed items Map
common.buy 5 013 Ft
A Voyage round the World William Henry Giles Kingston / Book Paperback
common.buy 3 190 Ft
Books of the Prophets in Their Historical Succession George Gillanders Findlay / Book Paperback
common.buy 8 459 Ft
Soft Skills for the Effective Lawyer Randall Kiser / Book Paperback
common.buy 17 265 Ft
Life, Letters, and Literary Remains of J. H. Shorthouse, Volume 1 Joseph Henry Shorthouse / Book Hardback
common.buy 15 385 Ft
Magic Keys of Tanglewood Malcolm Chester / Book Paperback
common.buy 6 005 Ft
Pathfinder Tales: Forge of Ashes Josh Vogt / Book Paperback
common.buy 3 238 Ft
Your Preschooler Discovers the Fine Arts Mishra / Book Paperback
common.buy 3 674 Ft
History of Greece. a New Edition. with Portrait, Map and Plans George Grote / Book Paperback
common.buy 12 043 Ft
L3 acquisition of the German Determiner Phrase Carol Jaensch / Book Paperback
common.buy 29 086 Ft
Alfred Hitchcock's Silent Films Marc Raymond Strauss / Book Paperback
common.buy 12 931 Ft
Marine Mammal Observer and Passive Acoustic Monitoring Handbook Erica Morrin / Book Hardback
common.buy 39 396 Ft
Year Book of Otolaryngology - Head and Neck Surgery 2012 Raj Sindwani / Book Hardback
common.buy 58 214 Ft
Nothing Whatever to Grumble at John Reed / Book Paperback
common.buy 7 149 Ft
Lives of the Queens of Scotland and English Princesses Agnes StricklandElizabeth Strickland / Book Paperback
common.buy 22 563 Ft
Liberal Descent J. W. Burrow / Book Paperback
common.buy 23 859 Ft
Bioenergy and Environmental Biotechnology for Sustainable Development Benjamin Ewa Ubi / Book Paperback
common.buy 26 902 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?