ISBN: 9783540518037
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.- … Plus…
Orellfuessli.ch Nr. A1000369476. Frais d'envoiGeen verzending naar uw bestemming., Livraison non-comprise Details... |
1989, ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Plus…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1989, ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Plus…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science, 398) - Livres de poche
1989, ISBN: 3540518037
[EAN: 9783540518037], Neubuch, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany, Berlin], BEHNAM BANIEQBAL TEMPORAL LOGIC IN SPECIFICATION ALTRINCHAM UK APRIL 8 10 1987 P… Plus…
AbeBooks.de WorldofBooks20, GORING BY SEA, United Kingdom [64841603] [Rating: 4 (von 5)] NEW BOOK. Frais d'envoi EUR 23.50 Details... |
ISBN: 9783540518037
Temporal Logic in Specification ab 96.49 € als Taschenbuch: Altrincham UK April 8-10 1987 Proceedings. Auflage 1989. Aus dem Bereich: Bücher, English, International, Gebundene Ausgaben, M… Plus…
Hugendubel.de Frais d'envoiShipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783540518037
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.- … Plus…
Banieqbal, Behnam (Herausgeber); Pnueli, Amir (Herausgeber); Barringer, Howard (Herausgeber):
Temporal Logic in Specification Altrincham, UK, April 8-10, 1987, Proceedings - nouveau livre1989, ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Plus…
1989
ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Plus…
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science, 398) - Livres de poche
1989, ISBN: 3540518037
[EAN: 9783540518037], Neubuch, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany, Berlin], BEHNAM BANIEQBAL TEMPORAL LOGIC IN SPECIFICATION ALTRINCHAM UK APRIL 8 10 1987 P… Plus…
ISBN: 9783540518037
Temporal Logic in Specification ab 96.49 € als Taschenbuch: Altrincham UK April 8-10 1987 Proceedings. Auflage 1989. Aus dem Bereich: Bücher, English, International, Gebundene Ausgaben, M… Plus…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Temporal Logic in Specification
EAN (ISBN-13): 9783540518037
ISBN (ISBN-10): 3540518037
Livre de poche
Date de parution: 1989
Editeur: Springer Berlin Heidelberg
460 Pages
Poids: 0,690 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-06-05T21:32:43+02:00 (Zurich)
Page de détail modifiée en dernier sur 2023-12-07T16:25:51+01:00 (Zurich)
ISBN/EAN: 9783540518037
ISBN - Autres types d'écriture:
3-540-51803-7, 978-3-540-51803-7
Autres types d'écriture et termes associés:
Auteur du livre: eli amir, benham, said behnam, barring, howard, barringer
Titre du livre: 1987 band, logic computer science
Données de l'éditeur
Auteur: Behnam Banieqbal; Howard Barringer; Amir Pnueli
Titre: Lecture Notes in Computer Science; Temporal Logic in Specification - Altrincham, UK, April 8-10, 1987, Proceedings
Editeur: Springer; Springer Berlin
452 Pages
Date de parution: 1989-10-11
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 452 p.
BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Automatentheorie; Spezifikation verteilter Systeme; Temporale Logik; Verteilte Systeme; automata; logic; model checking; object; verification; algorithm analysis and problem complexity; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Algorithms; Software Engineering; Theoretische Informatik; Algorithmen und Datenstrukturen; Software Engineering; EA
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540468110 Temporal Logic in Specification (Behnam Banieqbal; Howard Barringer; Amir Pnueli)
- 9783540468110 Temporal Logic in Specification (Behnam Banieqbal; Howard Barringer; Amir Pnueli)
- 9781441943620 Aging and Chronic Disorders (Mark L. Goldstein)
- 9780387518039 Aging and Chronic Disorders (Morewitz, Stephen; Goldstein, Mark)
- 9780387708560 Aging and Chronic Disorders (Stephen J. Morewitz/ Mark L. Goldstein)
- 9780387708577 Aging and Chronic Disorders (Hank Bass)
< pour archiver...