Your search returned 5 results.

Results
		Temporal logics in computer science : finite-state systems / Stéphane Demri, Valentin Goranko, Martin Lange. by Demri, Stéphane P, 1967- [author.] Goranko, Valentin [author.] Lange, Martin [author.] Series: Cambridge tracts in theoretical computer science ; 58. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2016 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Rippling : meta-level guidance for mathematical reasoning / Alan Bundy [and three others]. by Bundy, Alan [author.] Series: Cambridge tracts in theoretical computer science ; 56. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2005 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek. by Meyer, John-Jules Ch [author.] Hoek, W. van der (Wiebe) [author.] Series: Cambridge tracts in theoretical computer science ; 41. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1995 Other title: Epistemic Logic for AI & Computer Science Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		The uncertain reasoner's companion : a mathematical perspective / J.B. Paris. by Paris, J. B. (Jeff B.) [author.] Series: Cambridge tracts in theoretical computer science ; 39. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1994 Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Higher order logic and hardware verification / T. Melham. by Melham, T. F. (Tom F.) [author.] Series: Cambridge tracts in theoretical computer science ; 31. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1993 Other title: Higher Order Logic & Hardware Verification Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.