Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 01560339

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

By presenting state-of-the-art research results on various aspects of formal and visual modeling of... Vollständige Beschreibung

Libristo-Code: 01560339

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Informations Management Walter Gora

Hardcover

69.95 €

EN LAS HORAS DE LUZ MAÑERO

Buch

16.99 €

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

Hardcover

23.09 €

Metacognition and Study Skills: A Guide for Teachers Jonathan Firth

Broschur

30.19 €

Onde solitarie. Una riconciliazione fisica degli opposti Auro Michele Perego

Broschur

18.39 €

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

Broschur

17.99 €

peccati di Marisa Salas Clara Sánchez

Broschur

21.20 €

COLUMBO - Das Chaos hat einen Namen Barbara Schilling

Broschur

9.90 €

Zaginiona z Titanica Frances Quinn

Broschur

10.19 €

Großes Wörterbuch Deutsch-Paschto Akram Malakzay

Hardcover

48.00 €

Neříkejte tomu ezo Pavel Šplíchal

Broschur

24.59 €

Der schwarze Prinz und die Schlacht bei Poitiers Johann Baier

Hardcover

22.81 €

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

Broschur

40.99 €

morso Simona Lo Iacono

Broschur

10.99 €

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

Hardcover

32.30 €

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

Broschur

6.89 €

Gite Di Un Artista (1884) Camillo Boito

Hardcover

48.51 €

El instituto Tavistock / The Tavistock Institute DANIEL ESTULIN

Broschur

9.09 €

Mi triple primer amor 03 NAO DUOMOTO

Broschur

10.09 €

Salto al vacío GARCIA REYES

Broschur

27.19 €

BARAJA 52 EXPERIMENTOS CIENTIFICOS ASOMBROSOS LYNN GORDON

Broschur

10.59 €

The Book of Nathan The Prophet: Afrikaans Translation Ti Burtzloff

Broschur

13.10 €

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

Hardcover

37.52 €

Stade an einem Tag Kristina Kogel

Broschur

6.99 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods in Software and Systems Modeling

Autor H. Kreowski, Ugo Montanari, Fernando Orejas

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 420

EAN 9783540249368

ISBN 3540249362

Libristo-Code 01560339

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

Gewicht 1380

Abmessungen 155 x 235 x 25

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

Mathematik und Naturwissenschaften > Mathematik > Diskrete Mathematik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

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

Broschur

9.69 €

Parotid tumors in Egypt Sharif Abdelkarim

Broschur

60.49 €

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

Broschur

19.09 €

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

Broschur

15.60 €

American Book of Church Services Edward Hungerford

Broschur

23.10 €

How Is Jesus Christ Lord? Bernhard Dinkelaker

Hardcover

125.89 €

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

Broschur

13.90 €

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

Hardcover

29.39 €