Home Book reviews Contact

DISCLOSURE: When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.

Please share to

2 titles, showing 1-2 sort by PRICE ASC.
Please follow us on AddALL Facebook page twitter page
TITLE

SORT

change title size:
AUTHOR

SORT

change author size:
PRICE

DEALER / SITE

SORT

DESCRIPTION

 

change description size:
Michael Huth, Mark Ryan
author size:
USD
32.38
price size:
Buchpark /ZVAB
dealer size:
ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Zustand: Gut - Gebrauchs- und Lagerspuren. Außen: angestoßen. Innen: Notizen / Markierungen. | Sprache: Englisch
[Trebbin, Germany] [Publication Year: 2019]
Show/Hide image
description size:
Michael Huth, Mark Ryan
author size:
USD
35.69
price size:
Buchpark /AbebooksDE
dealer size:
ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Zustand: Gut - Gebrauchs- und Lagerspuren. Außen: angestoßen. Innen: Notizen / Markierungen. | Sprache: Englisch
[Trebbin, Germany] [Publication Year: 2019]
Show/Hide image
description size:
Similar titles
Michael Huth
author size:
USD
62.16
price size:
AHA-BUCH GmbH /ZVAB
dealer size:
ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Druck auf Anfrage Neuware - Printed after ordering - This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.
[Einbeck, Germany] [Publication Year: 2004]
Show/Hide image
description size:
Michael Huth
author size:
USD
68.52
price size:
AHA-BUCH GmbH /AbebooksDE
dealer size:
ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover Druck auf Anfrage Neuware - Printed after ordering - This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.
[Einbeck, Germany] [Publication Year: 2004]
Show/Hide image
description size:

DISCLOSURE: When you use one of our links to make a purchase, we may earn a commission at no extra cost to you.
As an Amazon Associate, AddALL earn commission from qualifying Amazon purchases.


TOO Many Search Results? Refine it!
Exclude: (what you don't want)
Include: (what you want)
Search Results Sort By:
240424191510350266