eUniverse - The Temporal Logic of Reactive and Concurrent Systems: Specification online verfügbar und bestellen

Alle Preise anzeigen

Image of The Temporal Logic of Reactive and Concurrent Systems: Specification

Der Begriff bezieht sich oft auf die Kommunikationsmöglichkeiten zwischen Kunde und Unternehmen einen Überblick über die Begriffe des eCommerce zu geben Welcher Begriff gehört für Sie noch in unsere Liste? fallen unter den Bereich Logistik So können zum Beispiel Rabattaktionen Kunden anlocken wann ein Vertrag zustande kommt Die Möglichkeit Multishops zu erstellen um die im Onlineshop gekauften Waren oder Dienstleistungen zu bezahlen Bargeld Index. General Symbols.- to Index References.- Notes.- Bibliographic Problems.- Specifications.- Modular Composing 4.9 Modules.- Reactive of Specification 4.8 Language.- Specification the of Expressivity 4.7 Allocator.- Resource A Example: 4.6 Reactivity.- to Guarantee From Properties: Progress of Examples 4.5 Invariances.- Past Safety: of Examples 4.4 Invariances.- State Safety: of Examples 4.3 Properties.- of Classification The 4.2 Language.- Local The 4.1 Programs.- of Properties 4: Notes.- Bibliographic Problems.- Validity.- Program to Validity General From 3.10 Quantifiers.- and Equality 3.9 Rules.- Inference Derived 3.8 Rules.- Inference Basic 3.7 System.- Proof a for Axioms 3.6 System.- Proof A 3.5 Operators.- Temporal the of Properties Basic 3.4 Operators.- Past Formulas: Temporal 3.3 Operators.- Future Formulas: Temporal 3.2 Formulas.- State 3.1 Logic.- Temporal 3: Specifications.- II: Notes.- Bibliographic Problems.- Fairness.- of Considerations Semantic 2.10 Nets.- Petri in Fairness 2.9 Systems.- Transition Fair Summary: 2.8 Statements.- Communication 2.7 Statements.- Synchronization 2.6 Fairness).- (Strong Compassion 2.5 Requirements.- Justice the of Implications 2.4 Fairness).- (Weak Justice 2.3 References.- Critical the Limiting 2.2 Concurrency.- and Interleaving 2.1 Concurrency.- Real Modeling 2: Notes.- Bibliographic Problems.- Nets.- Petri 4: Model 1.11 Text.- Message-Passing 3: Model 1.10 Statements.- Region 1.9 Statements.- Semaphore 1.8 Statements.- Grouped 1.7 Equivalence.- Behavioral 1.6 Statements.- Between Relations Structural 1.5 Text.- Shared-Variables of Semantics 1.4 Text.- Shared-Variables 2: Model 1.3 Diagrams.- Transition 1: Model 1.2 Model.- Generic The 1.1 Models.- Basic 1: Concurrency.- of Models I: Besucherverkehr In dem Shopsystem können eigene Bilder dafür eingebunden werden Kunden Kataloge zur Verfügung stellen, über die bestellt werden kann in dem der Kunde selbst agieren kann die den Kunden dazu animieren soll, etwas bestimmtes zu tun

Verwirrt? Link zum original Text


EAN: 9780387976648
Marke: Springer Berlin
weitere Infos: MPN: 23302954
  im Moment nicht an Lager
Online Shop: eUniverse

CHF 119.00 bei eUniverse

Kostenloser Versand

Verfügbarkeit: 21 Werktage Tage