Skip to content

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut
Stock Photo: Cover May Be Different

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) Paperback - 2005 - 2005th Edition

by Springer


From the publisher

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.

First line

Pétri nets [40, 42] are one of the most widely used models of concurrency.

Details

  • Title Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • Author Springer
  • Binding Paperback
  • Edition number 2005th
  • Edition 2005
  • Language ENG
  • Publisher Springer
  • Date March 24, 2005
  • ISBN 9783540249368
Back to Top

More Copies for Sale

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the...
Stock Photo: Cover May Be Different

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)

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

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540249368 / 3540249362
Quantity Available
1
Seller
Spring Branch, Texas, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$12.87
$5.99 shipping to USA

Show Details

Description:
Springer, 2005-02-09. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Item Price
$12.87
$5.99 shipping to USA
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the...
Stock Photo: Cover May Be Different

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)

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

  • Used
  • Paperback
Condition
Used: Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540249368 / 3540249362
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$23.14
FREE shipping to USA

Show Details

Description:
Springer, 2005-03-24. Paperback. Used: Good.
Item Price
$23.14
FREE shipping to USA
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the...

Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

by Hans-Jörg Kreowski

  • New
Condition
New
ISBN 10 / ISBN 13
9783540249368 / 3540249362
Quantity Available
365
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$67.32
$10.12 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday.
Item Price
$67.32
$10.12 shipping to USA
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the...
Stock Photo: Cover May Be Different

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

by Hans-Jorg Kreowski

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540249368 / 3540249362
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$74.82
$12.61 shipping to USA

Show Details

Description:
Paperback / softback. New. 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.
Item Price
$74.82
$12.61 shipping to USA
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the...
Stock Photo: Cover May Be Different

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)

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

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540249368 / 3540249362
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
$168.00
$10.00 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
$168.00
$10.00 shipping to USA