Darmowa dostawa dla zamówień powyżej 299,00 zł.

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: 224.29 PLN
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

224.29 zł

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

286.62 zł

EN LAS HORAS DE LUZ MAÑERO

Książka

78.27 zł

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

Twarda

91.02 zł

Metacognition and Study Skills: A Guide for Teachers Jonathan Firth

Miękka

132.87 zł

Onde solitarie. Una riconciliazione fisica degli opposti Auro Michele Perego

Miękka

80.78 zł

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

Miękka

76.46 zł

peccati di Marisa Salas Clara Sánchez

Miękka

93.00 zł

COLUMBO - Das Chaos hat einen Namen Barbara Schilling

Miękka

39.29 zł

Zaginiona z Titanica Frances Quinn

Miękka

41.64 zł

Großes Wörterbuch Deutsch-Paschto Akram Malakzay

Twarda

197.00 zł

Neříkejte tomu ezo Pavel Šplíchal

Miękka

112.19 zł

Der schwarze Prinz und die Schlacht bei Poitiers Johann Baier

Twarda

83.85 zł

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

Miękka

170.40 zł

morso Simona Lo Iacono

Miękka

48.16 zł

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

Twarda

142.08 zł

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

Miękka

28.89 zł

Gite Di Un Artista (1884) Camillo Boito

Twarda

223.78 zł

El instituto Tavistock / The Tavistock Institute DANIEL ESTULIN

Miękka

42.04 zł

Mi triple primer amor 03 NAO DUOMOTO

Miękka

46.15 zł

Salto al vacío GARCIA REYES

Miękka

125.14 zł

BARAJA 52 EXPERIMENTOS CIENTIFICOS ASOMBROSOS LYNN GORDON

Miękka

48.86 zł

The Book of Nathan The Prophet: Afrikaans Translation Ti Burtzloff

Miękka

60.49 zł

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

Twarda

170.38 zł

Stade an einem Tag Kristina Kogel

Miękka

29.39 zł

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

44.85 zł

Parotid tumors in Egypt Sharif Abdelkarim

Miękka

251.29 zł

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

Miękka

83.89 zł

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

Miękka

72.22 zł

American Book of Church Services Edward Hungerford

Miękka

101.65 zł

How Is Jesus Christ Lord? Bernhard Dinkelaker

Twarda

495.16 zł

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

Miękka

64.60 zł

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

129.25 zł