Produktbild
Behnam (Hrsg.) Banieqbal

Temporal Logic in Specification

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

Buch

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 prescript… Mehr

CHF 130.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Barringer, Howard (Hrsg.) / Pnueli, Amir (Hrsg.)
  • ISBN: 978-3-540-51803-7
  • EAN: 9783540518037
  • Produktnummer: 3246107
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1989
  • Seitenangabe: 460 S.
  • Masse: H24.1 cm x B16.9 cm x D2.7 cm 821 g
  • Auflage: 1989
  • Abbildungen: Paperback
  • Gewicht: 821

Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.