Del i serien Lecture Notes in Computer Science

Temporal Logic in Specification

Altrincham, UK, April 8-10, 1987, Proceedings

Häftad, Engelska, 1989

AvBehnam Banieqbal,Howard Barringer,Amir Pnueli

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-10-11
Mått155 x 235 x 25 mm
Vikt692 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor452
Upplaga1989
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540518037

Tillhör följande kategorier

Programspråk inom Data och IT

Comparing linear and branching time temporal logics.- Interleaving set temporal logic.- An expressive logic for a process algebra with silent actions.- Temporal logic with fixed points.- On the relation of programs and computations to models of temporal logic.- Specification and verification of concurrent programs by ?-automata.- MCTL — An extension of CTL for modular verification of concurrent systems.- The model checking problem for concurrent systems with many similar processes.- Unified verification theory.- Specifying message passing systems requires extending temporal logic.- Extending interval logic to real time systems.- The prescription and description of state based systems.- Enforcing nondeterminism via linear time temporal logic specifications using hiding.- Specifying communicating systems with temporal logic.- Abstract object types: A temporal perspective.- Compositionality and modularity in process specification and design: A trace-state based approach.- Using temporal logic for prototyping: The design of a lift controller.- The declarative past and imperative future.

Du kanske också är intresserad av

Categorical Methods in Computer Science

Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß

Häftad, 1989

749 kr

Relevance of Culture

Morris Freilich

Häftad, 1989

519 kr

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

Häftad, 2012

739 kr

Principles of Applied Biomedical Instrumentation

L. A. Geddes, L. E. Baker

Inbunden, 1989

5 079 kr

Perspectives of Systems Informatics

Amir Pnueli, Andrei Voronkov

Häftad, 2010

749 kr

Survey of Verification Techniques for Parallel Programs

Howard Barringer

Häftad, 1985

349 kr

Protecting Constitutional Freedoms

Daan Braveman

Inbunden, 1989

1 259 kr

Del 16

Advances in Temporal Logic

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough

Inbunden, 1999

2 149 kr

Relevance of Culture

Morris Freilich

Inbunden, 1989

1 359 kr

Formal Properties of Finite Automata and Applications

Jean E. Pin

Häftad, 1989

719 kr

Del i serien Lecture Notes in Computer Science

Temporal Logic in Specification

Altrincham, UK, April 8-10, 1987, Proceedings

Häftad, Engelska, 1989

AvBehnam Banieqbal,Howard Barringer,Amir Pnueli

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-10-11
Mått155 x 235 x 25 mm
Vikt692 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor452
Upplaga1989
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540518037

Tillhör följande kategorier

Programspråk inom Data och IT

Comparing linear and branching time temporal logics.- Interleaving set temporal logic.- An expressive logic for a process algebra with silent actions.- Temporal logic with fixed points.- On the relation of programs and computations to models of temporal logic.- Specification and verification of concurrent programs by ?-automata.- MCTL — An extension of CTL for modular verification of concurrent systems.- The model checking problem for concurrent systems with many similar processes.- Unified verification theory.- Specifying message passing systems requires extending temporal logic.- Extending interval logic to real time systems.- The prescription and description of state based systems.- Enforcing nondeterminism via linear time temporal logic specifications using hiding.- Specifying communicating systems with temporal logic.- Abstract object types: A temporal perspective.- Compositionality and modularity in process specification and design: A trace-state based approach.- Using temporal logic for prototyping: The design of a lift controller.- The declarative past and imperative future.