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
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

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 111 b
45.49 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Neříkejte tomu ezo Pavel Šplíchal / Book Paperback
common.buy 20.89 €
Metacognition and Study Skills: A Guide for Teachers Jonathan Firth / Book Paperback
common.buy 26.19 €
Onde solitarie. Una riconciliazione fisica degli opposti Auro Michele Perego / Book Paperback
common.buy 15.49 €
The Boys: Пацаны. Том 11. За холмом мужи с тысячью мечей Гарт Эннис / Book Paperback
common.buy 29.99 €
peccati di Marisa Salas Clara Sánchez / Book Paperback
common.buy 18.79 €
EN LAS HORAS DE LUZ MAÑERO / Book Book
common.buy 14.59 €
morso Simona Lo Iacono / Book Paperback
common.buy 9.19 €
1968 Dal Vitnam al Messico Diario di un anno cruciale Oriana Fallaci / Book Hardback
common.buy 28.69 €
Affordable
Осколки детских травм. Почему мы болеем и как это остановить Донна Джексон Наказава / Book Hardback
common.buy 16.49 €
Cuaderno del alumno Emergencias sanitarias y dispositivos de riesgo previsible (MF0362_2). Certifica Pérez Aguilera / Book Paperback
common.buy 5.89 €
Gite Di Un Artista (1884) Camillo Boito / Book Hardback
common.buy 43.49 €
The Book of Nathan The Prophet: Afrikaans Translation Ti Burtzloff / Book Paperback
common.buy 11.69 €
Stade an einem Tag Kristina Kogel / Book Paperback
common.buy 5.99 €
GER-LETZTEN 120 JAHRE DER WELT Wolfgang 1798-1873 Menzel / Book Hardback
common.buy 37.50 €
BARAJA 52 EXPERIMENTOS CIENTIFICOS ASOMBROSOS LYNN GORDON / Book Paperback
common.buy 9.19 €
Coming soon
Der schwarze Prinz und die Schlacht bei Poitiers Johann Baier / Book Hardback
common.buy 22.80 €
Großes Wörterbuch Deutsch-Paschto Akram Malakzay / Book Hardback
common.buy 48.00 €
COLUMBO - Das Chaos hat einen Namen Barbara Schilling / Book Paperback
common.buy 9.90 €

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

Protein Design and Structure Rossen Donev / Book Hardback
common.buy 153.89 €
Candle Making Log Book to Record your Crafting, Ingredients & Essential Oils Create Publication / Book Paperback
common.buy 8.49 €
Top
Hilo Book 9: Gina and the Last City on Earth Winick / Book Hardback
common.buy 9.69 €
Energy Transfers in Atmosphere and Ocean Carsten Eden / E-book Adobe ePub DRM
common.buy 136.99 €
Free Movement and the Energy Sector in the European Union Sirja-Leena Penttinen / Book Paperback
common.buy 59.99 €
A Master Class with Warren Buffett and Charlie Munger 2017 Eben Otuteye / Book Paperback
common.buy 10.69 €
Fellowship and Freedom Leng / Book Hardback
common.buy 122.99 €
Sticks and Stones Katharine Smith / Book Paperback
common.buy 10.69 €
Advanced Reconstruction: Hip 2: Print + Ebook with Multimedia Jay R. Lieberman / Book Paperback
common.buy 168.39 €
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 25.09 €
Classroom Diversity Management: A Search for Effective Instructional Approaches Dr Patricia Ifeoma Ugwu / Book Paperback
common.buy 15.39 €
How Is Jesus Christ Lord? Bernhard Dinkelaker / Book Hardback
common.buy 106.79 €
American Book of Church Services Edward Hungerford / Book Paperback
common.buy 20.99 €
A Practical Guide to Trading, Market Making, and Investing Andrew H Cohen / Book Hardback
common.buy 163.39 €
I M Applying to College: Now What? a Step-By-Step Guide to Writing Applications & Essays Atlantic Publishing Group / Book Paperback
common.buy 16.29 €
Song of the Hell Witch Taylor Hartley / Book Hardback
common.buy 23.49 €
Ukulele for Kids Starter Pack Chad Johnson / Book Paperback
common.buy 72.69 €
New Dimensions in Identity Control Theory Stephen Van Buren / Book Paperback
common.buy 41.59 €
Boy Reading Age 8 Pack A of 4 STA ONLY / Book Hardback
common.buy 37.49 €
High-Purity Metals and Alloys V. S. Emel yanova / Book Paperback
common.buy 45.49 €
Soil Science Simplified 6e Neal Eash / Book Hardback
common.buy 83.79 €
Old Captivity Nevil Shute / Book Paperback
common.buy 11.69 €
Energy and Environment in Saudi Arabia: Concerns & Opportunities Nahed Taher / Book Hardback
common.buy 45.49 €

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?