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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Recent Trends in Algebraic Development Techniques

20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Recent Trends in Algebraic Development Techniques Till Mossakowski
Libristo code: 01660601
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2012
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International... Full description
? points 142 b
58.01 €
113.45  лв
In stock at our supplier Shipping in 10-16 days

Up to 30 days for returns

Customers also purchased

Untersuchung der Besonderheiten der Unternehmensbesteuerung in OEsterreich Patrick W. W. Köstner / Book Paperback
common.buy 17.86 € 34.94 лв
Affordable
Durango T19 / Book Hardback
common.buy 8.03 € 15.71 лв
Les Lois de la vengeance Christopher Reich / Book Paperback
common.buy 27.18 € 53.17 лв
Ein unerfreulicher Antrag Philis Schröer / Book Paperback
common.buy 13.82 € 27.03 лв
Latente Steuern nach dem HGB n.F. Michael Urban / Book Paperback
common.buy 22.58 € 44.15 лв
Французские десерты: эклеры, профитроли, шоколадный декор и не только Мария Троицкая / Book Hardback
common.buy 42.65 € 83.41 лв
Stolz und Vorurteil mit den Meerschweinchen Alex Goodwin / Book Paperback
common.buy 9.57 € 18.72 лв
Normandernas hovding Rune Par Olofsson / E-book Adobe ePub DRM
common.buy 11.16 € 21.82 лв
Rhymes and Riddles. Rymowanki - Zgadywanki. Czytam po angielsku Katarzyna Kępińska / Book Paperback
common.buy 5.58 € 10.91 лв
Jenseits aller Wünsche Perry Payne / Book Paperback
common.buy 11.36 € 22.22 лв
Ressources Alimentaires Non Conventionnelles En Centrafrique Mbetidbessane-E / Book Paperback
common.buy 20.68 € 40.45 лв
Teoria de la sensibilitat nacionalista Rubert de Ventós / Book Paperback
common.buy 23.70 € 46.36 лв
ALLEMAGNE D'AUJOURD'HUI, N 185/JUIL.-SEPT. 2008. VOLKER BRAUN ET LE R OMAN DE HINZE ET KUNZE. AUTEURS DIVERS Book Paperback
common.buy 16.02 € 31.33 лв
FLE (Français langue étrangère). Le français écrit. Vocabulaire, grammaire, exercices corrigés [B1-C2] Chollet / Book Paperback
common.buy 23.04 € 45.05 лв
Affordable
De La Pirotechnia (1540) Vannoccio Biringuccio / Book Paperback
common.buy 14.49 € 28.33 лв
Czytając gazetę niemiecką … Hochberg Jakub / Book Hardback
common.buy 10.80 € 21.12 лв
À toi ! - Bayern 2019 - Band 2 Sabine Domdey / Book Hardback
common.buy 32.30 € 63.18 лв
BABADADA, slovenčina - shqipe, obrazkovy slovnik - fjalor me ilustrime Babadada Gmbh / Book Paperback
common.buy 28.05 € 54.87 лв
Čo na ňom vidíš? Dana Hlavatá / Book Hardback
common.buy 11.11 € 21.72 лв
Poursuites Dirigees Contre Notre Pere Supreme Enfantin, Et Contre Notre Pere Olinde Rodrigues Chevalier-M / Book Paperback
common.buy 12.95 € 25.33 лв
Demokritstudien Adolf Dyroff / Book Paperback
common.buy 17.81 € 34.84 лв
Sana Las Heridas En Tu Matrimonio=healing the Hurt in Your Marriage Gary Rosberg / Book Paperback
common.buy 6.19 € 12.11 лв
Florentin: Ein Roman. Dorothea von Schlegel / Book Paperback
common.buy 24.78 € 48.46 лв

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.§The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification.

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 Recent Trends in Algebraic Development Techniques
Author Till Mossakowski, Hans-Jörg Kreowski
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 303
EAN 9783642284113
ISBN 3642284116
Libristo code 01660601
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 454
Dimensions 155 x 235 x 23

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
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

The Workman's Bane And Antidote: Comprising The Essay On Strikes (1864) John Watts / Book Paperback
common.buy 20.07 € 39.25 лв
Broken Balloons Gail Prussky / Book Paperback
common.buy 17.45 € 34.14 лв
The Bush Junta: Cartoonists on the Mayberry Machiavelli and the Abuse of Power Gary Groth / Book Paperback
common.buy 18.43 € 36.04 лв
The Imperative of Promoting, Developing and Sustaining Indigenous Music in Nigeria Odey Robert / Book Paperback
common.buy 16.94 € 33.14 лв
Assessing the Water Needs of Riparian and Wetland Vegetation in the Western United States U S Department of Agriculture / Book Paperback
common.buy 20.94 € 40.95 лв
How to Run a College Mitchell / Book Paperback
common.buy 34.81 € 68.09 лв
Top
Black Ninja Handbook The Dark Lords / Book Paperback
common.buy 14.74 € 28.83 лв
Advanced Statistics for Kinesiology and Exercise Science Malek / Book Hardback
common.buy 241.88 € 473.07 лв
Archetype, Culture, and the Individual in Education MAYES / Book Paperback
common.buy 54.88 € 107.34 лв
Top
Grow: Secrets of Our DNA Emily Sutton / Book Hardback
common.buy 18.43 € 36.04 лв
Paracord Lessons: 20 Interesting Paracord Ideas with Illustrated Instructions Griffin Woods / Book Paperback
common.buy 9.31 € 18.22 лв
War Cry BRIAN MCCLELLAN / Book Paperback
common.buy 9.26 € 18.12 лв
Paper Dogs 1000 Pc Puzzle GALISON / Game/Toy Game
common.buy 20.48 € 40.05 лв
Original Drawings: Hidden Treasures - Wise Secrets Daniel Denzel Renner / Book Paperback
common.buy 12.03 € 23.52 лв
Top
The Secret World of Plants: Tales of More Than 100 Remarkable Flowers, Trees, and Seeds HOARE BEN / Book Hardback
common.buy 19.25 € 37.64 лв
Select Tracts and Documents Illustrative of English Monetary History 1626-1730 William Arthur Shaw / Book Paperback
common.buy 22.88 € 44.75 лв
WHAT IS IT? (LETS PLAY IN ENGLISH) CAJA JUEGO / Book Book
common.buy 20.37 € 39.85 лв
Travels of Media and Cultural Products Uribe-Jongbloed / Book Hardback
common.buy 94.00 € 183.86 лв
Psychology of Prophecy: A Study of the Prophetic Mind As Manifested by the Ancient Hebrew Prophets Jacob Hyman Kaplan / Book Hardback
common.buy 31.28 € 61.18 лв
Strange Girl Deluxe Hardcover Eric Nguyen / Book Hardback
common.buy 52.99 € 103.64 лв
The Unintentional Interim / Book Paperback
common.buy 17.05 € 33.34 лв
Metacognitive Regularities and Work Efficiency at Universities Khadija Muhamma Marvi / Book Hardback
common.buy 151.76 € 296.82 лв
Lahti File Cruilla Edition Richard MacAndrew / Book Paperback
common.buy 8.34 € 16.31 лв
PET/CT in Gynecological Cancers Tara Barwick / Book Paperback
common.buy 52.79 € 103.24 лв

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?