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.- … Meer...
Orellfuessli.ch Nr. A1000369476. Verzendingskosten:Geen verzending naar uw bestemming., exclusief verzendingskosten Details... |
1989, ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten: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… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten: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) - pocketboek
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… Meer...
AbeBooks.de WorldofBooks20, GORING BY SEA, United Kingdom [64841603] [Rating: 4 (von 5)] NEW BOOK. Verzendingskosten: 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… Meer...
Hugendubel.de Verzendingskosten: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.- … Meer...
Banieqbal, Behnam (Herausgeber); Pnueli, Amir (Herausgeber); Barringer, Howard (Herausgeber):
Temporal Logic in Specification Altrincham, UK, April 8-10, 1987, Proceedings - nieuw boek1989, ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Meer...
1989
ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… Meer...
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science, 398) - pocketboek
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… Meer...
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… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Temporal Logic in Specification
EAN (ISBN-13): 9783540518037
ISBN (ISBN-10): 3540518037
pocket book
Verschijningsjaar: 1989
Uitgever: Springer Berlin Heidelberg
460 Bladzijden
Gewicht: 0,690 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-06-05T21:32:43+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-12-07T16:25:51+01:00 (Amsterdam)
ISBN/EAN: 9783540518037
ISBN - alternatieve schrijfwijzen:
3-540-51803-7, 978-3-540-51803-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: eli amir, benham, said behnam, barring, howard, barringer
Titel van het boek: 1987 band, logic computer science
Gegevens van de uitgever
Auteur: Behnam Banieqbal; Howard Barringer; Amir Pnueli
Titel: Lecture Notes in Computer Science; Temporal Logic in Specification - Altrincham, UK, April 8-10, 1987, Proceedings
Uitgeverij: Springer; Springer Berlin
452 Bladzijden
Verschijningsjaar: 1989-10-11
Berlin; Heidelberg; DE
Taal: Engels
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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783540468110 Temporal Logic in Specification (Behnam Banieqbal; Howard Barringer; Amir Pnueli)
< naar Archief...