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.

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.78 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Informations Management Walter Gora / Book Hardback
common.buy 66.17 €
peccati di Marisa Salas Clara Sánchez / Book Paperback
common.buy 21.48 €
COLUMBO - Das Chaos hat einen Namen Barbara Schilling / Book Paperback
common.buy 9.01 €
Affordable
Осколки детских травм. Почему мы болеем и как это остановить Донна Джексон Наказава / Book Hardback
common.buy 16.71 €
Großes Wörterbuch Deutsch-Paschto Akram Malakzay / Book Hardback
common.buy 45.39 €
Metacognition and Study Skills: A Guide for Teachers Jonathan Firth / Book Paperback
common.buy 30.60 €
EN LAS HORAS DE LUZ MAÑERO / Book Book
common.buy 18.23 €
The Boys: Пацаны. Том 11. За холмом мужи с тысячью мечей Гарт Эннис / Book Paperback
common.buy 32.22 €
Onde solitarie. Una riconciliazione fisica degli opposti Auro Michele Perego / Book Paperback
common.buy 19.55 €
New
Der verbastelbare Adventskalender: Kreativer Advent. Papierdesigns zum Ausschneiden, Verbasteln und Dekorieren. Louise Lindgrün / Book Paperback
common.buy 17.73 €
Zaginiona z Titanica Frances Quinn / Book Paperback
common.buy 11.14 €
Neříkejte tomu ezo Pavel Šplíchal / Book Paperback
common.buy 25.83 €
Coming soon
Der schwarze Prinz und die Schlacht bei Poitiers Johann Baier / Book Hardback
common.buy 19.35 €
L'évolution du système nerveux : Invertébrés et vertébrés Mauro Luisetto / Book Paperback
common.buy 39.31 €
morso Simona Lo Iacono / Book Paperback
common.buy 11.75 €
1968 Dal Vitnam al Messico Diario di un anno cruciale Oriana Fallaci / Book Hardback
common.buy 32.72 €
GER-LETZTEN 120 JAHRE DER WELT Wolfgang 1798-1873 Menzel / Book Hardback
common.buy 39.31 €
Cuaderno del alumno Emergencias sanitarias y dispositivos de riesgo previsible (MF0362_2). Certifica Pérez Aguilera / Book Paperback
common.buy 6.68 €
Gite Di Un Artista (1884) Camillo Boito / Book Hardback
common.buy 51.57 €
Mi triple primer amor 03 NAO DUOMOTO / Book Paperback
common.buy 10.83 €
The Book of Nathan The Prophet: Afrikaans Translation Ti Burtzloff / Book Paperback
common.buy 13.98 €
Salto al vacío GARCIA REYES / Book Paperback
common.buy 29.08 €
BARAJA 52 EXPERIMENTOS CIENTIFICOS ASOMBROSOS LYNN GORDON / Book Paperback
common.buy 11.44 €
Stade an einem Tag Kristina Kogel / Book Paperback
common.buy 6.78 €

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

Fellowship and Freedom Leng / Book Hardback
common.buy 142.79 €
Parotid tumors in Egypt Sharif Abdelkarim / Book Paperback
common.buy 57.96 €
VHF Radio Checklists and Templates for Sailors: Reducing mistakes & making it easier when speaking over the VHF radio Kimberly Ann Brown / Book Paperback
common.buy 19.35 €
Semi-Annual Report of the Consumer Financial Protection Bureau Consumer Financial Protection Bureau / Book Paperback
common.buy 16.61 €
American Book of Church Services Edward Hungerford / Book Paperback
common.buy 23.40 €
How Is Jesus Christ Lord? Bernhard Dinkelaker / Book Hardback
common.buy 128.60 €
Classroom Diversity Management: A Search for Effective Instructional Approaches Dr Patricia Ifeoma Ugwu / Book Paperback
common.buy 14.89 €
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.79 €
Advanced Reconstruction: Hip 2: Print + Ebook with Multimedia Jay R. Lieberman / Book Paperback
common.buy 202.68 €
Sticks and Stones Katharine Smith / Book Paperback
common.buy 12.76 €
Percolate Elizabeth Hamilton Gaurino / Book Paperback
common.buy 19.55 €
A Master Class with Warren Buffett and Charlie Munger 2017 Eben Otuteye / Book Paperback
common.buy 10.33 €
Clinician's Guide to Cannabinoid Science Steven James / Book Paperback
common.buy 39.21 €
Protein Design and Structure Rossen Donev / Book Hardback
common.buy 179.37 €
Candle Making Log Book to Record your Crafting, Ingredients & Essential Oils Create Publication / Book Paperback
common.buy 10.63 €
Top
Hilo Book 9: Gina and the Last City on Earth Winick / Book Hardback
common.buy 12.15 €
Energy Transfers in Atmosphere and Ocean Carsten Eden / E-book Adobe ePub DRM
common.buy 160.93 €
Free Movement and the Energy Sector in the European Union Sirja-Leena Penttinen / Book Paperback
common.buy 70.12 €
A Practical Guide to Trading, Market Making, and Investing Andrew H Cohen / Book Hardback
common.buy 182.11 €
Song of the Hell Witch Taylor Hartley / Book Hardback
common.buy 29.38 €
Soil Science Simplified 6e Neal Eash / Book Hardback
common.buy 96.67 €
I M Applying to College: Now What? a Step-By-Step Guide to Writing Applications & Essays Atlantic Publishing Group / Book Paperback
common.buy 18.64 €
Energy and Environment in Saudi Arabia: Concerns & Opportunities Nahed Taher / Book Hardback
common.buy 51.78 €
Old Captivity Nevil Shute / Book Paperback
common.buy 10.83 €

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