Frontpage > Product > Temporal Logics In Computer Science: Finite-State Systems (Cambridge Tracts In Theoretical Computer ...

Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science Book 58)

Asin: B01L27MTH6

As an Amazon Associate we earn a fee from qualifying purchases when you follow a link to Amazon from this page. We rank the products, but the links to Amazon are promotional.

First Available: 10/13/2016

Manufacturer: Cambridge University Press

Amazon Price: $93.33 | as of 05/26/2024 (6:48pm pst) *DETAILS
Availability: Available for download now

See On Amazon




Similar To Temporal Logics in Computer Science

  #1

Particle-Wave Duality

Asin: B082ND2Y5T

First Available: 01/16/2020

See On Amazon




  #2

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic Book 29)

Asin: B07QQV43B5

First Available: 01/29/2019

Manufacturer: Birkhäuser

Amazon Price: $31.72 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #3

Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 13242)

Asin: B09WTJYWBD

First Available: 03/28/2022

Manufacturer: Springer

Amazon Price: $0.00 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #4

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science Book 11561)

Asin: B07V852X7R

First Available: 07/12/2019

Manufacturer: Springer

Amazon Price: $0.00 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #5

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20 23, 2021, Proceedings, Part I (Lecture Notes in Computer Science Book 12759)

Asin: B099PHGMTS

First Available: 07/17/2021

Manufacturer: Springer

Amazon Price: $0.00 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #6

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Lecture Notes in Computer Science Book 9300)

Asin: B014XNHPM0

First Available: 09/05/2015

Manufacturer: Springer

Amazon Price: $50.38 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #7

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Asin: B06Y1157KR

First Available: 04/03/2017

Manufacturer: Springer

Amazon Price: $44.12 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #8

Kripke s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)

Asin: B00Q6IHP8A

First Available: 11/20/2013

Manufacturer: Birkhäuser

Amazon Price: $89.00 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #9

Representation Theorems in Computer Science: A Treatment in Logic Engineering

Asin: B07VDCKTS6

First Available: 07/16/2019

Manufacturer: Springer

Amazon Price: $90.36 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #10

Modeling Time in Computing (Monographs in Theoretical Computer Science. An EATCS Series)

Asin: B00AHC6VR2

First Available: 10/19/2012

Manufacturer: Springer

Amazon Price: $43.44 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #11

Logics for Computer and Data Sciences, and Artificial Intelligence (Studies in Computational Intelligence Book 992)

Asin: B09PJCBPNM

First Available: 01/01/2022

Manufacturer: Springer

Amazon Price: $150.38 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #12

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)

Asin: B000PC131I

First Available: 07/20/2005

Manufacturer: Springer

Amazon Price: $50.72 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #13

Models of Strategic Reasoning: Logics, Games, and Communities (Lecture Notes in Computer Science Book 8972)

Asin: B01ACZ70MS

First Available: 01/08/2016

Manufacturer: Springer

Amazon Price: $39.99 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #14

Formal Methods in Computer Science (Textbooks in Mathematics)

Asin: B07TDQV1CC

First Available: 06/21/2019

Manufacturer: Chapman and Hall/CRC

Amazon Price: $82.99 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #15

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)

Asin: B09K51QV9P

First Available: 10/22/2021

Manufacturer: Springer

Amazon Price: $55.57 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #16

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)

Asin: B077GBHX6X

First Available: 02/12/2018

Manufacturer: Springer

Amazon Price: $65.03 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #17

Exploratory Data Analytics for Healthcare (Innovations in Big Data and Machine Learning)

Asin: B09MFSD95K

First Available: 12/23/2021

Manufacturer: CRC Press

Amazon Price: $66.99 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #18

Modal and Temporal Properties of Processes (Texts in Computer Science)

Asin: B000WDP4QK

First Available: 03/14/2013

Manufacturer: Springer

Amazon Price: $50.27 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon




  #19

First-Order Programming Theories (Monographs in Theoretical Computer Science. An EATCS Series Book 24)

Asin: B001944ZIY

First Available: 12/06/2012

Manufacturer: Springer

Amazon Price: $82.44 | as of 05/26/2024 (6:48pm pst) *DETAILS

See On Amazon





Looking For Something Else? Search

Home & Garden


Home Improvement


Industrial


Electronics


Office


Car & Automotive


Sporting Goods


Beauty Supplies


Health & Personal Care


Fashion


Toys and Hobby



Additional Categories


| GistGear © 2021 |

We are a participant in the Amazon Services LLC Associates Program, an affiliate advertising program designed to provide a means for us to earn fees by linking to Amazon.com and affiliated sites.
Certain content that appears on GistGear.com comes from Amazon services llc. This content is provided 'as is' and is subject to change or removal at any time.
Any price and availability information displayed on Amazon.com at the time of purchase will apply to the purchase of this product.
Amazon product prices and availability are accurate as of the date/time indicated and are subject to change.
As an Amazon Associate we earn from qualifying purchases.