9783540249368 - formal methods in software and systems modeling: essays dedicated to hartmut ehrig on the occasion of his 60th birthday: 3393 (lecture notes in computer science, 3393) de montanari, ugo; taentzer, gabriele; orejas, fernando; rozenberg, grzegorz; kreowski, hans-jã¶rg (16 resultados)
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,14
Envío por EUR 13,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Formal Methods in Software And Systems Modeling
Kreowski, Hans-Jorg (EDT); Montanari, Ugo (EDT); Orejas, Fernando (EDT); Rozenberg, Grzegorz (EDT); Taentzer, Gabriele (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,63
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,21
Envío por EUR 17,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
Formal Methods in Software And Systems Modeling
Kreowski, Hans-Jorg (EDT); Montanari, Ugo (EDT); Orejas, Fernando (EDT); Rozenberg, Grzegorz (EDT); Taentzer, Gabriele (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,13
Envío por EUR 17,37Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Books Puddle, New York, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 81,28
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 448.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 63,37Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 collabora…tors 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.
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Formal Methods in Software and Systems Modeling | Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday | Hans-Jörg Kreowski (u. a.) | Taschenbuch | xxviii | Englisch | 2005 | Springer | EAN 9783540249368 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 6…9121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Formal Methods in Software And Systems Modeling
Kreowski, Hans-Jorg (EDT); Montanari, Ugo (EDT); Orejas, Fernando (EDT); Rozenberg, Grzegorz (EDT); Taentzer, Gabriele (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 116,86
Envío por EUR 17,37Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Mispah books, Redhill, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 107,33
Envío por EUR 28,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. Like New. book.
Formal Methods in Software And Systems Modeling
Kreowski, Hans-Jorg (EDT); Montanari, Ugo (EDT); Orejas, Fernando (EDT); Rozenberg, Grzegorz (EDT); Taentzer, Gabriele (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 137,56
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 39,48
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 448 | Sprache: Englisch | Produktart: Bücher | 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.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 studen…ts 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. 448 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 79,91
Envío por EUR 7,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 448 Illus.
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 80,31
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 448.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 wr…itten by students a.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Graph Transformation.- On the Concurrent Semantics of Algebraic Graph Grammars.- From Graph Transformation to Software Engineering and Back.- Flexible Interconnection of Graph Transformation Modules.- Simulating Algebraic High-Level Net…s by Parallel Attributed Graph Transformation.- Graph Processes with Fusions: Concurrency by Colimits, Again.- Graph Transformation with Variables.- Graph Transformation in Molecular Biology.- Changing Labels in the Double-Pushout Approach Can Be Treated Categorically.- Algebraic Specification and Logic.- Modules, Brains and Schemas.- From Conditional Specifications to Interaction Charts.- Algebraic Properties of Interfaces.- T -Integration of Logics.- Functorial Semantics of Rewrite Theories.- Expander2.- Relationships Between Equational and Inductive Data Types.- Cofree Coalgebras for Signature Morphisms.- Formal and Visual Modeling.- Nested Constraints and Application Conditions for High-Level Structures.- Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.- Main Concepts of Networks of Transformation Units with Interlinking Semantics.- Embeddings and Contexts for Link Graphs.- Towards Architectural Connectors for UML.- Loose Semantics of Petri Nets.- A Formal Framework for the Development of Concurrent Object-Based Systems.- A Formal Description of the Basic Concepts of System Theory for Transportation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 448 pp. Englisch.
