Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. N� de ref. del art�culo DA1411691

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Formal Methods in Software and Systems ...

Editorial: Springer

A�o de publicaci�n: 2005

Encuadernaci�n: Paperback

Condici�n: Very Good

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

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

GuthrieBooks
TX, U.S.A.

Condiciones de venta:

At this time we accept payment through Visa or Mastercard.

Condiciones de env�o:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

M�todos de pago
aceptados por la librer�a

A�adir una petici�n

Art�culos relacionados a Formal Methods in Software and Systems Modeling: Essays...

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

Kreowski, Hans-Jörg [Editor]; Montanari, Ugo [Editor]; Orejas, Fernando [Editor]; Rozenberg, Grzegorz [Editor]; Taentzer, Gabriele [Editor];

Usado - Encuadernaci�n de tapa blanda

Informaci�n empresarial del vendedor