Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 3393, Band 3393)

Editor

Springer

Fecha de publicaci�n

2008

Idioma

Ingl�s

ISBN 10

3540249362

ISBN 13

9783540249368

Encuadernaci�n

paperback

Estado

Gut

Cat�logos de vendedores

Varia

Acerca de

Sinopsis

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60^th 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.

Rese�a del editor

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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Studibuch ist ein Onlineshop f�r Studien- und Fachb�cher. Bei uns bekommst Du gebrauchte und gut erhaltene Fachliteratur zu fairen Preisen. B�cher mehrmals zu verwenden bedeutet, knappe Ressourcen nachhaltig zu nutzen. Durch deinen Einkauf bei Studibuch entsteht eine Wertekette, die vollst�ndig auf nachhaltiges Wirtschaften ausgerichtet ist und ein Zeichen gegen die Wegwerfmentalit�t setzt. Wenn Du selbst noch gebrauchte Fachb�cher hast, die Du nicht mehr ben�tigst dann kannst Du sie auf Studibuch.de verkaufen. Mit Deinem Verkauf bei Studibuch schaffst Du Platz im Regal und kannst den Verkaufserl�s f�r ein neues Fachbuch nutzen. Der Verkauf funktioniert ganz einfach. Du gibst die ISBN oder den Buchtitel auf unserer Seite ein oder scannst mit der kostenlosen Studibuch App den Barcode des Buches. Jetzt fehlt nur noch eine Angabe zum Zustand und dann wird Dir direkt der Verkaufspreis genannt. Nachdem Du alle B�cher eingegeben hast, kannst Du �ber einen Link Deinen Paketschein ausdrucken und die B�cher an uns versenden. Nach Eintreffen der B�cher erh�ltst Du garantiert innerhalb von drei Werktagen Dein Geld.

Ver la p�gina web de la librer�a