Afbeelding 1 van 2
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED.
Objectstaat:
Prijs:
AU $44,31
OngeveerEUR 26,91
- Nu kopenLogic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED.
Verzendkosten:
AU $25,50 (ongeveer EUR 15,49) International Standard : tracked-no signature (7 to 15 business days). Details bekijkenvoor verzending
Bevindt zich in: AVENEL, NJ, Verenigde Staten
Levering:
Geschatte levering tussen wo, 8 mei en ma, 13 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:275458761083
Specificaties
- Objectstaat
- Contents :
- SAME as in US edition
- Cover-Design :
- May Differ from Original Picture shown here
- Edition :
- 2
- Features
- Revised
- International-ISBN :
- 9780521670890
- Item Length
- 9.7in
- Packaging :
- Shrinkwrapped - Box Packed
- Printed In :
- BLACK & WHITE Edition
- Returns :
- 30 Days
- Shipping :
- FAST 3 to 4 days delivery
- ISBN
- 9780521543101
- Publication Year
- 2004
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- Logic in Computer Science: Modelling and Reasoning about Systems
- Item Height
- 247mm
- Publisher
- Cambridge University Press
- Item Width
- 175mm
- Subject
- Computer Science
- Item Weight
- 750g
- Number of Pages
- 440 Pages
Over dit product
Product Information
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing 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 to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.
Product Identifiers
Publisher
Cambridge University Press
ISBN-13
9780521543101
eBay Product ID (ePID)
96543286
Product Key Features
Publication Name
Logic in Computer Science: Modelling and Reasoning about Systems
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2004
Type
Textbook
Number of Pages
440 Pages
Dimensions
Item Height
247mm
Item Width
175mm
Item Weight
750g
Additional Product Features
Country/Region of Manufacture
United Kingdom
Objectbeschrijving van de verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:275458761083
Verzending en verwerking
Objectlocatie:
AVENEL, NJ, Verenigde Staten
Wordt verzonden naar:
Wereldwijd
Uitgesloten:
Postbus, Afghanistan, Afrika, Albanië, Andorra, Armenië, Azerbeidzjan, Bahrein, Bangladesh, Barbados, Bhutan, Bosnië en Herzegovina, Brunei Darussalam, Bulgarije, Cambodja, China, Cyprus, Estland, Filipijnen, Finland, Frans-Guyana, Frans-Polynesië, Georgië, Gibraltar, Griekenland, Guadeloupe, Guernsey, Hongarije, IJsland, Ierland, India, Indonesië, Irak, Israël, Japan, Jemen, Jersey, Jordanië, Kazachstan, Kirgizië, Koeweit, Kroatië, Laos, Letland, Libanon, Libië, Liechtenstein, Litouwen, Luxemburg, Macau, Macedonië, Maldiven, Malta, Martinique, Midden-Amerika en de Caraïben, Moldavië, Monaco, Mongolië, Montenegro, Nepal, Nieuw-Caledonië, Noorwegen, Oceanië, Oekraïne, Oezbekistan, Oman, Oostenrijk, Pakistan, Polen, Portugal, Qatar, Roemenië, Russische Federatie, Réunion, San Marino, Servië, Slovenië, Slowakije, Spanje, Spitsbergen en Jan Mayen, Tadzjikistan, Taiwan, Tsjechië, Turkije, Turkmenistan, Vaticaanstad, Venezuela, Vietnam, Wit-Rusland, Zuid-Amerika, Zuid-Korea, Zweden
| Verzending en verwerking | Tot | Service | Levering*Zie opmerkingen over levering |
|---|---|---|---|
| AU $25,50 (ongeveer EUR 15,49) | Verenigde Staten | International Standard : tracked-no signature (7 to 15 business days) | Geschatte levering tussen wo, 8 mei en ma, 13 mei tot 43230 |
| AU $30,50 (ongeveer EUR 18,52) | Verenigde Staten | International Express : tracked-signature (3 to 7 business days) | Geschatte levering tussen wo, 8 mei en ma, 13 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.275458761083
Btw voor objectnr.275458761083
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 | Kosten voor retourzending |
|---|---|
| 30 dagen | 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.