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)
ISBN 10: 3540249362 ISBN 13: 9783540249368
Editore: Springer, 2005
Nuovi
Brossura
Da
Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 30 agosto 2024
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
SUPER FAST SHIPPING. Codice articolo 9783540249368
Riassunto:
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.
Contenuti: 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 Nets 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Formal Methods in Software and Systems ...
Casa editrice: Springer
Data di pubblicazione: 2005
Legatura: Brossura
Condizione: New
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
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)
Da: Studibuch, Stuttgart, Germania
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Gut. 448 Seiten; 9783540249368.3 Gewicht in Gramm: 1. Codice articolo 819748
Compra usato
EUR 9,90
Spese di spedizione:
EUR 62,30
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Editore:
Springer Berlin Heidelberg, 2005
ISBN 10: 3540249362
ISBN 13: 9783540249368
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 1719081/202
Compra usato
EUR 9,92
Spese di spedizione:
EUR 105,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
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)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Codice articolo DA1411691
Compra usato
EUR 12,18
Spese di spedizione:
EUR 6,02
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods in Software and Systems Modeling
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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 written by students a. Codice articolo 4886329
Compra nuovo
EUR 48,37
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Formal Methods in Software and Systems Modeling | Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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 Vieweg | EAN 9783540249368 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 102414523
Compra nuovo
EUR 50,35
Spese di spedizione:
EUR 70,00
Da: Germania a: U.S.A.
Quantità: 5 disponibili
Foto dell'editore
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)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020164024
Compra nuovo
EUR 53,21
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods in Software and Systems Modeling
Editore:
Springer Berlin Heidelberg Feb 2005, 2005
ISBN 10: 3540249362
ISBN 13: 9783540249368
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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 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. 448 pp. Englisch. Codice articolo 9783540249368
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Editore:
Springer Berlin Heidelberg, 2005
ISBN 10: 3540249362
ISBN 13: 9783540249368
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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 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. Codice articolo 9783540249368
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 63,37
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods in Software and Systems Modeling
ISBN 10: 3540249362
ISBN 13: 9783540249368
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. 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 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch. Codice articolo 9783540249368
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Methods in Software And Systems Modeling
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5109278-n
Compra nuovo
EUR 54,40
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: Più di 20 disponibili