Verifying Concurrent Processes Using Temporal Logic

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Lecture Notes in Computer Science 129

ISBN:	3540112057
ISBN 13:	9783540112051
Autor:	Hailpern, B T
Verlag:	Springer Verlag GmbH
Umfang:	viii, 209 S.
Erscheinungsdatum:	01.03.1982
Produktform:	Kartoniert
Einband:	Kartoniert

Artikelnummer: 1430328 Kategorie: Informatik

Beschreibung

Beschreibung

InhaltsangabeProgramming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.

Herstellerkennzeichnung:

Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …

Concurrent Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verifying Temporal Properties of Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Understanding Concurrent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Ein Metadatenrepositorium zum Datenqualitätsmonitoring im Concurrent Engineering
49,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Aerobic and Strength Training
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Objects and Beyond
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Video Classification using Spatio Temporal Features
28,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Scientific Computing
64,15 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modal and Temporal Properties of Processes
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Supervisiory Control of Concurrent Systems
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Aerobic and Strength Training
139,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Origin of Concurrent Programming
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects
139,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Reactive Plans
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Conclog: A Methodological Approach to Concurrent Logic Programming
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Learning and Information Processing
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Declarative Models of Concurrent Cyclic Processes
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Non-logic Devices in Logic Processes
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent and Real-time Programming
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Digital Logic Design Using Verilog
139,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Engineering
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Non-logic Devices in Logic Processes
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Figurationen des Temporalen
55,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Studies in Temporal Urbanism
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Complex Systems Concurrent Engineering
320,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Modalities in Arabic Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Analysis of Concurrent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Infection in Goats
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Scientific Computing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Engineering in the 21st Century
235,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Modalities in Arabic Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Compositional Verification of Concurrent and Real-Time Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Programming Interviews
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Power
76,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verifying Calculations – Forty Years On
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Zero-Knowledge
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verifying Treaty Compliance
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Bone
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
New Methods of Concurrent Checking
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Logic and State Systems
80,24 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
On Concurrent Programming
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Practical Concurrent Haskell
64,19 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Networks
90,94 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Objects for Concurrent Constraint Programming
235,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Digital Logic Design Using Verilog
192,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Origin of Concurrent Programming
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advances in Temporal Logic
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Understanding Concurrent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Control Using Logic-Based Switching
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Logic from the Chronicles Paradigm:
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Order
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modal and Temporal Properties of Processes
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporale Geschäftsprozessmodellierung
64,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Enterprising
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Logic
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Extending Temporal Logic with Omega-automata
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computer Aided Concurrent Integral Design
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Synthesis Using Synopsys®
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Data Hiding Using Fuzzy Logic
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Declarative Models of Concurrent Cyclic Processes
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Scientific Computing
74,85 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Circumstances
93,08 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal GIS
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Logic in Specification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Temporal Logic of Reactive and Concurrent Systems
117,69 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Zero Knowledge
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Bone
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Quantifying Environmental Impact Assessments Using Fuzzy Logic
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Programming
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporale Muster
54,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Compositional Verification of Concurrent and Real-Time Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verifying Treaty Compliance
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Semantics of Systems of Concurrent Processes
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verifying multicore software : A case study
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Spatio-Temporal Databases
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Weather Prediction using Genetic Algorithm
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Quantifying Environmental Impact Assessments Using Fuzzy Logic
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Computations
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Simultaneous Engineering Systems
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Power
56,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Synthesis Using Synopsys®
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Introduction to Logic Synthesis using Verilog HDL
29,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Object-Based Concurrent Computing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Digital Logic Design Using Verilog
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Concurrent Engineering in the 21st Century
235,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Temporal Logic of Reactive and Concurrent Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Digital Logic Design Using Verilog
90,94 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Self-Timed Control of Concurrent Processes
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Circumstances
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Logic
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Networks
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Logic and State Systems
80,24 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
New Methods of Concurrent Checking
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Logic of Programs
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal, Spatial, and Spatio-Temporal Data Mining
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
On Concurrent Programming
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advances in Temporal Logic
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal styloid process: its forensic implication in Nigerians
59,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Semantics of Concurrent Computation
32,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Reformed Logic
21,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

Verifying Concurrent Processes Using Temporal Logic

Lecture Notes in Computer Science 129

Beschreibung

Herstellerkennzeichnung:

Das könnte Ihnen auch gefallen …

Concurrent Engineering

Verifying Temporal Properties of Systems

Understanding Concurrent Systems

Ein Metadatenrepositorium zum Datenqualitätsmonitoring im Concurrent Engineering

Concurrent Aerobic and Strength Training

Concurrent Objects and Beyond

Video Classification using Spatio Temporal Features

Concurrent Scientific Computing

Modal and Temporal Properties of Processes

Supervisiory Control of Concurrent Systems

Concurrent Aerobic and Strength Training

The Origin of Concurrent Programming

Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects

Concurrent Reactive Plans

Conclog: A Methodological Approach to Concurrent Logic Programming

Concurrent Learning and Information Processing

Declarative Models of Concurrent Cyclic Processes

Non-logic Devices in Logic Processes

Concurrent and Real-time Programming

Digital Logic Design Using Verilog

Concurrent Engineering

Non-logic Devices in Logic Processes

Figurationen des Temporalen

Studies in Temporal Urbanism

Complex Systems Concurrent Engineering

Temporal Modalities in Arabic Logic

The Analysis of Concurrent Systems

Concurrent Infection in Goats

Concurrent Scientific Computing

Concurrent Engineering in the 21st Century

Temporal Modalities in Arabic Logic

Compositional Verification of Concurrent and Real-Time Systems

Concurrent Programming Interviews

Temporal Power

Verifying Calculations – Forty Years On

Concurrent Zero-Knowledge

Verifying Treaty Compliance

Temporal Bone

New Methods of Concurrent Checking

Temporal Logic and State Systems

On Concurrent Programming

Practical Concurrent Haskell

Temporal Networks

Objects for Concurrent Constraint Programming

Digital Logic Design Using Verilog

The Origin of Concurrent Programming

Advances in Temporal Logic

Understanding Concurrent Systems

Control Using Logic-Based Switching

Temporal Logic from the Chronicles Paradigm:

Temporal Order

Modal and Temporal Properties of Processes

Temporale Geschäftsprozessmodellierung

Concurrent Enterprising

Temporal Logic

Extending Temporal Logic with Omega-automata

Computer Aided Concurrent Integral Design

Logic Synthesis Using Synopsys®

Data Hiding Using Fuzzy Logic

Declarative Models of Concurrent Cyclic Processes

Concurrent Scientific Computing

Temporal Circumstances

Temporal GIS

Temporal Logic in Specification

The Temporal Logic of Reactive and Concurrent Systems

Concurrent Zero Knowledge

Temporal Bone

Quantifying Environmental Impact Assessments Using Fuzzy Logic

Concurrent Programming

Temporale Muster

Compositional Verification of Concurrent and Real-Time Systems

Verifying Treaty Compliance

Semantics of Systems of Concurrent Processes

Verifying multicore software : A case study

Spatio-Temporal Databases