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: 50.99 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

Język

Angielski

Książka Miękka

Kod Libristo: 01560339

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luty 2005

By presenting state-of-the-art research results on various aspects of formal and visual modeling of... Cały opis

Kod Libristo: 01560339

125 b

50.99 € včetně DPH

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Informations Management Walter Gora

Twarda

69.95 €

EN LAS HORAS DE LUZ MAÑERO

Książka

16.09 €

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

Twarda

16.49 €

Metacognition and Study Skills: A Guide for Teachers Jonathan Firth

Miękka

28.89 €

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

Miękka

36.29 €

Onde solitarie. Una riconciliazione fisica degli opposti Auro Michele Perego

Miękka

17.39 €

Der verbastelbare Adventskalender: Kreativer Advent. Papierdesigns zum Ausschneiden, Verbasteln und Dekorieren. Louise Lindgrün

Miękka

17.99 €

peccati di Marisa Salas Clara Sánchez

Miękka

21.19 €

COLUMBO - Das Chaos hat einen Namen Barbara Schilling

Miękka

9.90 €

Zaginiona z Titanica Frances Quinn

Miękka

9.69 €

Großes Wörterbuch Deutsch-Paschto Akram Malakzay

Twarda

48.00 €

Neříkejte tomu ezo Pavel Šplíchal

Miękka

23.29 €

Der schwarze Prinz und die Schlacht bei Poitiers Johann Baier

Twarda

22.80 €

L'évolution du système nerveux : Invertébrés et vertébrés Mauro Luisetto

Miękka

38.79 €

morso Simona Lo Iacono

Miękka

10.39 €

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

Twarda

32.29 €

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

Miękka

6.19 €

Gite Di Un Artista (1884) Camillo Boito

Twarda

48.49 €

El instituto Tavistock / The Tavistock Institute DANIEL ESTULIN

Miękka

8.69 €

Mi triple primer amor 03 NAO DUOMOTO

Miękka

9.59 €

Salto al vacío GARCIA REYES

Miękka

25.89 €

BARAJA 52 EXPERIMENTOS CIENTIFICOS ASOMBROSOS LYNN GORDON

Miękka

10.09 €

The Book of Nathan The Prophet: Afrikaans Translation Ti Burtzloff

Miękka

13.09 €

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

Twarda

37.50 €

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods in Software and Systems Modeling

Autor H. Kreowski, Ugo Montanari, Fernando Orejas

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2005

Liczba stron 420

EAN 9783540249368

ISBN 3540249362

Kod Libristo 01560339

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 1380

Wymiary 155 x 235 x 25

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika

Matematyka i nauki ścisłe > Matematyka > Matematyka dyskretna

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

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

Miękka

9.69 €

Parotid tumors in Egypt Sharif Abdelkarim

Miękka

57.19 €

VHF Radio Checklists and Templates for Sailors: Reducing mistakes & making it easier when speaking over the VHF radio Kimberly Ann Brown

Miękka

18.09 €

Semi-Annual Report of the Consumer Financial Protection Bureau Consumer Financial Protection Bureau

Miękka

15.59 €

American Book of Church Services Edward Hungerford

Miękka

23.09 €

How Is Jesus Christ Lord? Bernhard Dinkelaker

Twarda

117.19 €

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

Miękka

13.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

Twarda

27.99 €