Afbeelding 1 van 1
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED.
Laatste beschikbare object
Objectstaat:
Laatste stuk / 1 verkocht
Verzendkosten:
Bevindt zich in: AVENEL, NJ, Verenigde Staten
Levering:
Geschatte levering tussen wo, 8 mei en za, 18 mei tot 43230
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
Winkel met vertrouwen
Verkopergegevens
- 97,8% positive feedback
Geregistreerd als particuliere verkoper, dus de consumentenrechten die voortvloeien uit de EU-wetgeving inzake consumentenbescherming zijn niet van toepassing. De geld-terug-garantie van eBay geldt nog steeds voor de meeste aankopen.
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:275076026003
Specificaties
- Objectstaat
- Printed In :
- BLACK & WHITE Edition
- International-ISBN :
- 9780521670890
- Edition :
- 2
- Packaging :
- Shrinkwrapped - Box Packed
- Product Type
- INTERNATIONAL EDITION
- Cover-Design :
- May Differ from Original Picture shown here
- Contents :
- SAME as in US edition
- Returns :
- 30 Days
- Shipping :
- FAST 3 to 4 days delivery
- ISBN
- 9780521543101
- Publication Name
- Logic in Computer Science : Modelling and Reasoning about Systems
- Item Length
- 9.7in
- Publisher
- Cambridge University Press
- Publication Year
- 2004
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.8in
- Features
- Revised
- Item Width
- 6.9in
- Item Weight
- 26.5 Oz
- Number of Pages
- 440 Pages
Over dit product
Product Information
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.
Product Identifiers
Publisher
Cambridge University Press
ISBN-10
052154310x
ISBN-13
9780521543101
eBay Product ID (ePID)
11038305827
Product Key Features
Publication Name
Logic in Computer Science : Modelling and Reasoning about Systems
Format
Trade Paperback
Language
English
Features
Revised
Publication Year
2004
Type
Textbook
Number of Pages
440 Pages
Dimensions
Item Length
9.7in
Item Height
0.8in
Item Width
6.9in
Item Weight
26.5 Oz
Additional Product Features
Lc Classification Number
Qa76.9.L63 H88 2004
Edition Description
Revised Edition
Edition Number
2
Reviews
'This book provides an elegant introduction to formal reasoning that is relevant to computation science. This second edition improves the first one with extra and expanded sections on temporal logic model checking, SAT solvers, second-order logic, the Alloy specification language, and programming by contract. The material is up-to-date and practical ...'. Zentralblatt MATH, '... an unusual, inspiring and remarkable book ... one can find in it all the material which is suitable for undergraduate and beginning graduate students in computer science and electrical engineering who will profit by using it in their professional activities in the near future.' Zentralblatt MATH, 'The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications.' Phinews, "Huth and Ryan explain a variety of fundamental topics in formal computer science logic and help readers understand how to follow and expand on them." H.J. Bender, Any Language Communications, Inc., CHOICE, ‘… an unusual, inspiring and remarkable book … one can find in it all the material which is suitable for undergraduate and beginning graduate students in computer science and electrical engineering who will profit by using it in their professional activities in the near future.’Zentralblatt MATH, 'This book provides an elegant introduction to formal reasoning that is relevant to computation science. This second edition improves the first one with extra and expanded sections on temporal logic model checking, SAT solvers, second-order logic, the Alloy specification language, and programming by contract. The material is up-to-date and practical …' Zentralblatt MATH, '… an unusual, inspiring and remarkable book … one can find in it all the material which is suitable for undergraduate and beginning graduate students in computer science and electrical engineering who will profit by using it in their professional activities in the near future.' Zentralblatt MATH
Table of Content
Foreword; 1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagrams; Bibliography; Index.
Copyright Date
2004
Target Audience
College Audience
Topic
Programming Languages / General, Computer Science
Lccn
2004-045921
Dewey Decimal
005.1/01/5113
Dewey Edition
22
Illustrated
Yes
Genre
Computers
Objectbeschrijving van de verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:275076026003
Verzending en verwerking
Objectlocatie:
AVENEL, NJ, Verenigde Staten
Wordt verzonden naar:
Australië, België, Canada, Denemarken, Duitsland, Frankrijk, Italië, Maleisië, Mexico, Nederland, Polen, Singapore, Spanje, Sri Lanka, Verenigd Koninkrijk, Verenigde Arabische Emiraten, Wereldwijd, Zwitserland
Uitgesloten:
Postbus, APO/FPO, Afghanistan, Afrika, Alaska/Hawaï, Albanië, Amerikaans-Samoa, Amerikaanse protectoraten, Andorra, Armenië, Azerbeidzjan, Bahrein, Bangladesh, Barbados, Bermuda, Bhutan, Bosnië en Herzegovina, Brunei Darussalam, Bulgarije, Cambodja, China, Cookeilanden, Cyprus, Estland, Fiji, Filipijnen, Finland, Frans-Guyana, Frans-Polynesië, Georgië, Gibraltar, Griekenland, Groenland, Guadeloupe, Guam, Guernsey, Hongarije, Hongkong, IJsland, Ierland, India, Indonesië, Irak, Israël, Japan, Jemen, Jersey, Jordanië, Kazachstan, Kirgizië, Kiribati, Koeweit, Kroatië, Laos, Letland, Libanon, Libië, Liechtenstein, Litouwen, Luxemburg, Macau, Macedonië, Maldiven, Malta, Marshalleilanden, Martinique, Micronesië, Midden-Amerika en de Caraïben, Moldavië, Monaco, Mongolië, Montenegro, Nauru, Nepal, Nieuw-Caledonië, Nieuw-Zeeland, Niue, Noorwegen, Oekraïne, Oezbekistan, Oman, Oostenrijk, Pakistan, Palau, Papoea-Nieuw-Guinea, Portugal, Qatar, Roemenië, Russische Federatie, Réunion, Saint Pierre en Miquelon, San Marino, Saudi-Arabië, Servië, Slovenië, Slowakije, Solomoneilanden, Spitsbergen en Jan Mayen, Tadzjikistan, Taiwan, Thailand, Tonga, Tsjechië, Turkije, Turkmenistan, Tuvalu, Vanuatu, Vaticaanstad, Venezuela, Vietnam, Wallis en Futuna, Westelijk Samoa, Wit-Rusland, Zuid-Amerika, Zuid-Korea, Zweden
Verzending en verwerking | Tot | Service | Levering*Zie opmerkingen over levering |
---|---|---|---|
US $3,99 (ongeveer EUR 3,73) | Verenigde Staten | Economy Shipping | Geschatte levering tussen wo, 8 mei en za, 18 mei tot 43230 |
US $14,99 (ongeveer EUR 14,03) | Verenigde Staten | Expedited Shipping | Geschatte levering tussen di, 7 mei en vr, 10 mei tot 43230 |
Verwerkingstijd |
---|
Wordt doorgaans binnen 3 werkdagen na ontvangst van betaling verzonden. |
Belasting |
---|
Er kunnen belastingen van toepassing zijn tijdens Betalen. Meer weten?Lees meer over het betalen van belastingen op eBay-aankopen. |
Btw voor objectnr.275076026003
Btw voor objectnr.275076026003
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
Staat/provincie | Btw-tarief |
---|
Retourbeleid
Nadat u het object hebt ontvangen, kunt u contact opnemen met de verkoper binnen | Terugbetaling wordt verstrekt als | Kosten voor retourzending |
---|---|---|
30 dagen | Geld terug | Koper betaalt voor retourzending |
De koper is verantwoordelijk voor de kosten van de retourzending.
Details retourbeleid |
---|
Retourzendingen geaccepteerd |
Betalingsgegevens
Betalingsmethoden
Geregistreerd als particuliere verkoper
Dus de consumentenrechten die voortvloeien uit EU-wetgeving voor consumentenbescherming zijn niet van toepassing. eBay-kopersbescherming geldt nog steeds voor de meeste aankopen.
Feedback verkoper (3.187)
a***m (14)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Arrived on time, it's the real book so don't hesitate to order.
v***t (51)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Fake
b***b (644)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Book arrived safe and sound, packaging was 10 out of 10. Very happy with this seller, did not contact.