An introduction to practical formal methods using temporal logic

An introduction to practical formal methods using temporal logic

by Fisher, Michael

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :An introduction to practical formal methods using temporal logic / Michael Fisher.

Edition Statements

  • Publication Date:2011.

Publication Statements

  • Publisher(s):Wiley
  • Place of Publication:Chichester
  • Language:eng
  • Publication Date:2011.

The Physical Object

  • Description:353 Seiten : : Illustrationen

Edition Identifiers

  • ISBN:9780470027882, 0470027886, 9780470980118, 0470980117, 9780470980101, 0470980109, 9781119991465, 1119991463
  • oclc:ocn753249694
  • Dewey Decimal:005.131

Subjects

AUTOMATA MODELS FOR DATA STRUCTURES PRO… Formal methods (Computer science) Formale Methode Logic, Symbolic and mathematical Logique symbolique et mathématique LOGIQUE TEMPORELLE (LOGIQUE MATHÉMATIQU… Méthodes formelles (informatique) MODÈLES D'AUTOMATES POUR L'ÉLABORATION … MODELLE VON AUTOMATEN ZUR VERARBEITUNG … TEMPORAL LOGIC (MATHEMATICAL LOGIC) Temporale Logik TEMPORALLOGIK (MATHEMATISCHE LOGIK)

Writers

Fisher, Michael

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

No downloadable files are registered for this work yet.

Log in to request a copy