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.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Methods in Software and Systems Modeling

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Language EnglishEnglish
Book Paperback
Book Formal Methods in Software and Systems Modeling H. Kreowski
Libristo code: 01560339
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2005
By presenting state-of-the-art research results on various aspects of formal and visual modeling of... Full description
? points 125 b
51.73 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Осколки детских травм. Почему мы болеем и как это остановить Донна Джексон Наказава / Book Hardback
common.buy 21.05 €
The Book of Nathan The Prophet: Afrikaans Translation Ti Burtzloff / Book Paperback
common.buy 13.96 €
morso Simona Lo Iacono / Book Paperback
common.buy 11.94 €
EN LAS HORAS DE LUZ MAÑERO / Book Book
common.buy 18.22 €
Onde solitarie. Una riconciliazione fisica degli opposti Auro Michele Perego / Book Paperback
common.buy 19.84 €
Cuaderno del alumno Emergencias sanitarias y dispositivos de riesgo previsible (MF0362_2). Certifica Pérez Aguilera / Book Paperback
common.buy 6.67 €
Gite Di Un Artista (1884) Camillo Boito / Book Hardback
common.buy 51.53 €
Stade an einem Tag Kristina Kogel / Book Paperback
common.buy 6.77 €
GER-LETZTEN 120 JAHRE DER WELT Wolfgang 1798-1873 Menzel / Book Hardback
common.buy 39.28 €
BARAJA 52 EXPERIMENTOS CIENTIFICOS ASOMBROSOS LYNN GORDON / Book Paperback
common.buy 8.60 €
Coming soon
Der schwarze Prinz und die Schlacht bei Poitiers Johann Baier / Book Hardback
common.buy 19.33 €
Großes Wörterbuch Deutsch-Paschto Akram Malakzay / Book Hardback
common.buy 45.46 €
COLUMBO - Das Chaos hat einen Namen Barbara Schilling / Book Paperback
common.buy 9.00 €

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.§The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.

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 Formal Methods in Software and Systems Modeling
Author H. Kreowski, Ugo Montanari, Fernando Orejas
Language English
Binding Book - Paperback
Date of issue 2005
Number of pages 420
EAN 9783540249368
ISBN 3540249362
Libristo code 01560339
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1380
Dimensions 155 x 235 x 25

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
Mathematics & Science > Mathematics > Discrete mathematics
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 > 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

Sticks and Stones Katharine Smith / Book Paperback
common.buy 12.75 €
Advanced Reconstruction: Hip 2: Print + Ebook with Multimedia Jay R. Lieberman / Book Paperback
common.buy 210.82 €
Treatise on the Real Cause and Cure of Insanity; In Which the Nature and Distinctions of This Disease Are Fully Explained, ... by Andrew Harper, ANDREW HARPER / Book Hardback
common.buy 29.76 €
How Is Jesus Christ Lord? Bernhard Dinkelaker / Book Hardback
common.buy 128.49 €
American Book of Church Services Edward Hungerford / Book Paperback
common.buy 23.48 €
Fellowship and Freedom Leng / Book Hardback
common.buy 137.20 €
Free Movement and the Energy Sector in the European Union Sirja-Leena Penttinen / Book Paperback
common.buy 66.92 €
I M Applying to College: Now What? a Step-By-Step Guide to Writing Applications & Essays Atlantic Publishing Group / Book Paperback
common.buy 18.62 €
A Practical Guide to Trading, Market Making, and Investing Andrew H Cohen / Book Hardback
common.buy 177.50 €
Ukulele for Kids Starter Pack Chad Johnson / Book Paperback
common.buy 89.40 €
New Dimensions in Identity Control Theory Stephen Van Buren / Book Paperback
common.buy 50.01 €
Boy Reading Age 8 Pack A of 4 STA ONLY / Book Hardback
common.buy 42.42 €
High-Purity Metals and Alloys V. S. Emel yanova / Book Paperback
common.buy 51.73 €
Soil Science Simplified 6e Neal Eash / Book Hardback
common.buy 96.59 €
Old Captivity Nevil Shute / Book Paperback
common.buy 10.82 €
Energy and Environment in Saudi Arabia: Concerns & Opportunities Nahed Taher / Book Hardback
common.buy 51.73 €
A Master Class with Warren Buffett and Charlie Munger 2017 Eben Otuteye / Book Paperback
common.buy 10.32 €
Song of the Hell Witch Taylor Hartley / Book Hardback
common.buy 23.18 €

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?