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.- … More...
Orellfuessli.ch Nr. A1000369476. Shipping costs:Geen verzending naar uw bestemming., plus shipping costs Details... |
1989, ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs: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… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs: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) - Paperback
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… More...
AbeBooks.de WorldofBooks20, GORING BY SEA, United Kingdom [64841603] [Rating: 4 (von 5)] NEW BOOK. Shipping costs: 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… More...
Hugendubel.de Shipping costs: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.- … More...
Banieqbal, Behnam (Herausgeber); Pnueli, Amir (Herausgeber); Barringer, Howard (Herausgeber):
Temporal Logic in Specification Altrincham, UK, April 8-10, 1987, Proceedings - new book1989, ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… More...
1989
ISBN: 3540518037
1989 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Logik, Philosophie / Logik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automatentheori… More...
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science, 398) - Paperback
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… More...
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… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Temporal Logic in Specification
EAN (ISBN-13): 9783540518037
ISBN (ISBN-10): 3540518037
Paperback
Publishing year: 1989
Publisher: Springer Berlin Heidelberg
460 Pages
Weight: 0,690 kg
Language: eng/Englisch
Book in our database since 2007-06-05T20:32:43+01:00 (London)
Detail page last modified on 2023-12-07T15:25:51+00:00 (London)
ISBN/EAN: 9783540518037
ISBN - alternate spelling:
3-540-51803-7, 978-3-540-51803-7
Alternate spelling and related search-keywords:
Book author: eli amir, benham, said behnam, barring, howard, barringer
Book title: 1987 band, logic computer science
More/other books that might be very similar to this book
Latest similar book:
9783540468110 Temporal Logic in Specification (Behnam Banieqbal; Howard Barringer; Amir Pnueli)
< to archive...