Concurrency, Graphs and Models

Sprache: Englisch

Verlag: Springer, Springer Jun 2008, 2008

3540686762 / 9783540686767

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 23. Januar 2017

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Neu

EUR 106,99

EUR 60,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

This item is printed on demand - Print on Demand Titel. Neuware -Ugo Montanari in a Nutshell.- Ugo Montanari in a Nutshell.- Graph Transformation.- Ugo Montanari and Graph Transformation.- Unfolding Graph Transformation Systems: Theory and Applications to Verification.- Graph-Based Design and Analysis of Dynamic Software Architectures.- Graph Transformation Units - An Overview.- Synchronous Multiparty Synchronizations and Transactions.- Transformations in Reconfigurable Place/Transition Systems.- Explicit State Model Checking for Graph Grammars.- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.- Constraint and Logic Programming.- Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section.- Semiring-Based Soft Constraints.- Declarative Debugging of Membership Equational Logic Specifications.- SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets.- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.- AND/OR Multi-valued Decision Diagrams for Constraint Networks.- Software Engineering.- Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section.- Modeling Business within a UML-Based Rigorous Software Development Approach.- From Domain to Requirements.- Business Process Modeling for Organizational Knowledge Management.- Event-Based Service Coordination.- Dynamically Evolvable Dependable Software: From Oxymoron to Reality.- The Temporal Logic of Rewriting: A Gentle Introduction.- A Heterogeneous Approach to UML Semantics.- Concurrency Theory.- Ugo Montanari and Concurrency Theory.- On the Synthesis of Zero-Safe Nets.- A Note on Persistent Petri Nets.- Secure Data Flow in a Calculus for Context Awareness.- On Beta-Binders Communications.- On the AsynchronousNature of the Asynchronous -Calculus.- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.- Models of Computation.- Models of Computation: A Tribute to Ugo Montanari's Vision.- Automatic Mutual Exclusion and Atomicity Checks.- Petri Nets, Discrete Physics, and Distributed Quantum Computation.- A Category of Explicit Fusions.- What Do Semantics Matter When the Meat Is Overcooked .- Calculating Colimits Compositionally.- Observability Concepts in Abstract Data Type Specification, 30 Years Later.- Software Verification.- Ugo Montanari and Software Verification.- History Dependent Automata for Service Compatibility.- A Type System for Client Progress in a Service-Oriented Calculus.- Session and Union Types for Object Oriented Programming.- The Pairing of Contracts and Session Types.- Specifying and Analysing SOC Applications with COWS.- Approximating Behaviors in Embedded System Design.- Friends.- Ugo Montanari and Friends.- Calculating with Automata.- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.- Some Theorems Concerning the Core Function.- The Seventies.- Categories, Software and Meaning.- A Roman Senator.- The Semantics of Ugo Montanari.- Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 832 pp. Englisch.

Bestandsnummer des Verkäufers 9783540686767

Titel
Concurrency, Graphs and Models
Autor
Pierpaolo Degano
Verlag
Springer, Springer Jun 2008
Veröffentlichungsjahr
2008
Zustand
Neu
Einband
Taschenbuch
Sprache
Englisch
ISBN-10
3540686762
ISBN-13
9783540686767
Artikelgewicht
1.235 Gramm
Abmessungen
235x155x45 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 23. Januar 2017

Versandkosten von Deutschland nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 60,00EUR 75,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • PayPal
  • Vorauskasse

Shop-Beschreibung

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Spezialisierung

Modernes Antiquariat - Bücher von 1960 bis heute

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

buchversandmimpf2000

Deutschland