Formal Methods in Software and Systems Modeling

Name: Formal Methods in Software and Systems Modeling
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560339
Price: 45.49 EUR
Availability: InStock
Author: H. Kreowski
ISBN: 9783540249368

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

H. Kreowski

Ugo Montanari

Fernando Orejas

Lingua

Inglese

Libro In brossura

Codice Libristo: 01560339

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febbraio 2005

By presenting state-of-the-art research results on various aspects of formal and visual modeling of... Descrizione completa

Codice Libristo: 01560339

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Neříkejte tomu ezo Pavel Šplíchal

In brossura

20.89 €

Metacognition and Study Skills: A Guide for Teachers Jonathan Firth

In brossura

26.19 €

Onde solitarie. Una riconciliazione fisica degli opposti Auro Michele Perego

In brossura

16.15 €

The Boys: Пацаны. Том 11. За холмом мужи с тысячью мечей Гарт Эннис

In brossura

29.99 €

peccati di Marisa Salas Clara Sánchez

In brossura

18.79 €

EN LAS HORAS DE LUZ MAÑERO

Libro

14.59 €

morso Simona Lo Iacono

In brossura

9.50 €

1968 Dal Vitnam al Messico Diario di un anno cruciale Oriana Fallaci

Rigido

28.69 €

Осколки детских травм. Почему мы болеем и как это остановить Донна Джексон Наказава

Rigido

16.49 €

Cuaderno del alumno Emergencias sanitarias y dispositivos de riesgo previsible (MF0362_2). Certifica Pérez Aguilera

In brossura

5.89 €

Gite Di Un Artista (1884) Camillo Boito

Rigido

43.49 €

The Book of Nathan The Prophet: Afrikaans Translation Ti Burtzloff

In brossura

11.69 €

Stade an einem Tag Kristina Kogel

In brossura

5.99 €

GER-LETZTEN 120 JAHRE DER WELT Wolfgang 1798-1873 Menzel

Rigido

33.09 €

BARAJA 52 EXPERIMENTOS CIENTIFICOS ASOMBROSOS LYNN GORDON

In brossura

9.19 €

Der schwarze Prinz und die Schlacht bei Poitiers Johann Baier

Rigido

16.69 €

Großes Wörterbuch Deutsch-Paschto Akram Malakzay

Rigido

39.89 €

COLUMBO - Das Chaos hat einen Namen Barbara Schilling

In brossura

7.89 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Methods in Software and Systems Modeling

Autore H. Kreowski, Ugo Montanari, Fernando Orejas

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2005

Numero di pagine 420

EAN 9783540249368

ISBN 3540249362

Codice Libristo 01560339

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 1380

Dimensioni 155 x 235 x 25

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente

Matematica e Scienze > Matematica > Matematica discreta

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Protein Design and Structure Rossen Donev

Rigido

153.89 €

Candle Making Log Book to Record your Crafting, Ingredients & Essential Oils Create Publication

In brossura

8.49 €

Hilo Book 9: Gina and the Last City on Earth Winick

Rigido

9.69 €

Energy Transfers in Atmosphere and Ocean Carsten Eden

Adobe ePub DRM

136.99 €

Free Movement and the Energy Sector in the European Union Sirja-Leena Penttinen

In brossura

59.99 €

A Master Class with Warren Buffett and Charlie Munger 2017 Eben Otuteye

In brossura

10.69 €

Fellowship and Freedom Leng

Rigido

122.99 €

Sticks and Stones Katharine Smith

In brossura

10.69 €

Advanced Reconstruction: Hip 2: Print + Ebook with Multimedia Jay R. Lieberman

In brossura

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

Rigido

25.09 €

Classroom Diversity Management: A Search for Effective Instructional Approaches Dr Patricia Ifeoma Ugwu

In brossura

15.39 €

How Is Jesus Christ Lord? Bernhard Dinkelaker

Rigido

106.79 €

American Book of Church Services Edward Hungerford

In brossura

20.99 €

A Practical Guide to Trading, Market Making, and Investing Andrew H Cohen

Rigido

163.39 €

I M Applying to College: Now What? a Step-By-Step Guide to Writing Applications & Essays Atlantic Publishing Group

In brossura

16.29 €

Song of the Hell Witch Taylor Hartley

Rigido

23.49 €

Ukulele for Kids Starter Pack Chad Johnson

In brossura

72.69 €

New Dimensions in Identity Control Theory Stephen Van Buren

In brossura

41.59 €

Boy Reading Age 8 Pack A of 4 STA ONLY

Rigido

37.49 €

High-Purity Metals and Alloys V. S. Emel yanova

In brossura

45.49 €

Soil Science Simplified 6e Neal Eash

Rigido

83.79 €

Old Captivity Nevil Shute

In brossura

11.69 €

Energy and Environment in Saudi Arabia: Concerns & Opportunities Nahed Taher

Rigido

45.49 €

Ricercati di frequente

Categories

Authors

Publishers

Ricercati di frequente

Prodotti

Categories

Authors

Publishers

Consegna

Guida all'acquisto

Formal Methods in Software and Systems Modeling

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

I clienti hanno acquistato anche

Informazioni sul libro

Categorie

Regala questo libro oggi stesso

È facile

Potrebbe interessarti anche

Ricercati di frequente

Categories

Authors

Publishers

Formal Methods in Software and Systems Modeling

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

I clienti hanno acquistato anche

Informazioni sul libro

Categorie

Regala questo libro oggi stesso

È facile

Potrebbe interessarti anche

Non hai un account? Ottieni i vantaggi di un account Libristo!