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.- … Más…
Orellfuessli.ch Nr. A1000369476. Gastos de envío:Geen verzending naar uw bestemming., más gastos de envío Details... |
1989, ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Más…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Gastos de envío:Versandkostenfrei 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… Más…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Gastos de envío:Versandkostenfrei 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) - Pasta blanda
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… Más…
AbeBooks.de WorldofBooks20, GORING BY SEA, United Kingdom [64841603] [Rating: 4 (von 5)] NEW BOOK. Gastos de envío: 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… Más…
Hugendubel.de Gastos de envío:Shipping 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.- … Más…
Banieqbal, Behnam (Herausgeber); Pnueli, Amir (Herausgeber); Barringer, Howard (Herausgeber):
Temporal Logic in Specification Altrincham, UK, April 8-10, 1987, Proceedings - libro nuevo1989, ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Más…
1989
ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Más…
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science, 398) - Pasta blanda
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… Más…
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… Más…
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Temporal Logic in Specification
EAN (ISBN-13): 9783540518037
ISBN (ISBN-10): 3540518037
Tapa blanda
Año de publicación: 1989
Editorial: Springer Berlin Heidelberg
460 Páginas
Peso: 0,690 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2007-06-05T14:32:43-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-12-07T09:25:51-06:00 (Mexico City)
ISBN/EAN: 3540518037
ISBN - escritura alterna:
3-540-51803-7, 978-3-540-51803-7
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: eli amir, benham, said behnam, barring, howard, barringer
Título del libro: 1987 band, logic computer science
Datos del la editorial
Autor: Behnam Banieqbal; Howard Barringer; Amir Pnueli
Título: Lecture Notes in Computer Science; Temporal Logic in Specification - Altrincham, UK, April 8-10, 1987, Proceedings
Editorial: Springer; Springer Berlin
452 Páginas
Año de publicación: 1989-10-11
Berlin; Heidelberg; DE
Idioma: Inglés
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.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
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)
< para archivar...