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.- … Altro …
Orellfuessli.ch Nr. A1000369476. Costi di spedizione:Geen verzending naar uw bestemming., Costi di spedizione aggiuntivi Details... |
1989, ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Altro …
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione: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… Altro …
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione: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) - edizione con copertina flessibile
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… Altro …
AbeBooks.de WorldofBooks20, GORING BY SEA, United Kingdom [64841603] [Rating: 4 (von 5)] NEW BOOK. Costi di spedizione: 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… Altro …
Hugendubel.de Costi di spedizione: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.- … Altro …
Banieqbal, Behnam (Herausgeber); Pnueli, Amir (Herausgeber); Barringer, Howard (Herausgeber):
Temporal Logic in Specification Altrincham, UK, April 8-10, 1987, Proceedings - nuovo libro1989, ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Altro …
1989
ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Altro …
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science, 398) - edizione con copertina flessibile
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… Altro …
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… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Temporal Logic in Specification
EAN (ISBN-13): 9783540518037
ISBN (ISBN-10): 3540518037
Copertina flessibile
Anno di pubblicazione: 1989
Editore: Springer Berlin Heidelberg
460 Pagine
Peso: 0,690 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-06-05T21:32:43+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-12-07T16:25:51+01:00 (Rome)
ISBN/EAN: 9783540518037
ISBN - Stili di scrittura alternativi:
3-540-51803-7, 978-3-540-51803-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : eli amir, benham, said behnam, barring, howard, barringer
Titolo del libro: 1987 band, logic computer science
Dati dell'editore
Autore: Behnam Banieqbal; Howard Barringer; Amir Pnueli
Titolo: Lecture Notes in Computer Science; Temporal Logic in Specification - Altrincham, UK, April 8-10, 1987, Proceedings
Editore: Springer; Springer Berlin
452 Pagine
Anno di pubblicazione: 1989-10-11
Berlin; Heidelberg; DE
Lingua: Inglese
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...