Bieden beëindigd op wo, 24 apr om 10:56 AM.. De verkoper heeftdit object of een soortgelijk object opnieuw aangeboden.

Afbeelding 1 van 7

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED. - Afbeelding 2 van 7

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED. - Afbeelding 3 van 7

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED. - Afbeelding 4 van 7

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED. - Afbeelding 5 van 7

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED. - Afbeelding 6 van 7

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED. - Afbeelding 7 van 7

AFGELOPEN

Hebt u iets om te verkopen?

Verkoop het zelf

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd INT'L ED.

Objectstaat:

Heel goed

Afgelopen: 24 apr 2024 10:56:34 CEST

Startbod:

GBP 25,00

[

0 biedingen

]

OngeveerEUR 29,28

[

0 biedingen

]

Dit object wordt verzonden via internationale verzending.

Inclusief internationale tracking, vereenvoudigde inklaring, en geen bijkomende kosten bij levering. Meer info

Verzendkosten:

GBP 25,80 (ongeveer EUR 30,21) Expresverzending naar Verenigde Staten via eBay's Internationale verzending. Details bekijkenvoor verzending

Bevindt zich in: London, Verenigd Koninkrijk

Invoerkosten:

Gratis (bedrag wordt bevestigd bij Betalen)

Levering:

Geschatte levering tussen do, 16 mei en do, 23 mei tot 43230

Inclusief internationale tracking

Retourbeleid:

Geen retourzendingen geaccepteerd. Details bekijken- voor meer informatie over retourzendingen

Betalingen:

Internationale verzendkosten en invoerkosten aan Pitney Bowes Inc. betaald. Meer weten?Meer weten over internationale verzending van eBay?

Winkel met vertrouwen

Geld-terug-garantie van eBay

Ontvang het object dat u hebt besteld of krijg uw geld terug.

Meer informatieGeld-terug-garantie van eBay - nieuw venster of tabblad

Verkopergegevens

bigtrekkie79 (394)
100% 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.

Dit object rapporteren - nieuw venster of nieuw tabblad

De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.

eBay-objectnummer:226101080461

Laatst bijgewerkt op 19 apr 2024 11:11:42 CESTAlle herzieningen bekijkenAlle herzieningen bekijken

Specificaties

Objectstaat: Heel goed: Een boek dat er niet als nieuw uitziet en is gelezen, maar zich in uitstekende staat ... Heel goed: Een boek dat er niet als nieuw uitziet en is gelezen, maar zich in uitstekende staat bevindt. De kaft is niet zichtbaar beschadigd en het eventuele stofomslag zit nog om de harde kaft heen. Er ontbreken geen bladzijden en er zijn geen bladzijden beschadigd. Er is geen tekst onderstreept of gemarkeerd en er is niet in de kantlijn geschreven. Er kunnen zeer minimale identificatiemerken aan de binnenzijde van de kaft zijn aangebracht. De slijtage is zeer minimaal. Bekijk de aanbieding van de verkoper voor de volledige details en een beschrijving van gebreken. Alle staatdefinities bekijkenwordt in nieuw venster of op nieuw tabblad geopend

Cover-Design :: May Differ from Original Picture shown here

Contents :: SAME as in US edition

International-ISBN :: 9780521670890

Shipping :: FAST 3 to 4 days delivery

Packaging :: Shrinkwrapped - Box Packed

Printed In :: BLACK & WHITE Edition

Features: Revised

Edition :: 2

Item Length: 9.7in

Returns :: 30 Days

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

Author: Michael Huth, Mark Ryan

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)

91405006

Product Key Features

Author

Michael Huth, Mark Ryan

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

Title_Author

Mark Ryan, Michael Huth

Country/Region of Manufacture

United Kingdom

Objectbeschrijving van de verkoper

De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.

eBay-objectnummer:226101080461

Laatst bijgewerkt op 19 apr 2024 11:11:42 CESTAlle herzieningen bekijkenAlle herzieningen bekijken

Verzending en verwerking

Objectlocatie:

London, Verenigd Koninkrijk

Wordt verzonden naar:

Antigua en Barbuda, Aruba, Australië, Bahama's, Bahrein, Bangladesh, Barbados, België, Belize, Bermuda, Bolivia, Brunei Darussalam, Bulgarije, Cambodja, Canada, Chili, China, Colombia, Costa Rica, Cyprus, Denemarken, Dominica, Dominicaanse Republiek, Duitsland, Egypte, El Salvador, Estland, Finland, Frankrijk, Frans-Guyana, Gibraltar, Grenada, Griekenland, Guadeloupe, Guatemala, Guernsey, Honduras, Hongarije, Hongkong, IJsland, Ierland, Indonesië, Israël, Italië, Jamaica, Japan, Jersey, Jordanië, Kaaimaneilanden, Koeweit, Kroatië, Letland, Liechtenstein, Litouwen, Luxemburg, Macau, Maldiven, Maleisië, Malta, Martinique, Mexico, Monaco, Montserrat, Nederland, Nicaragua, Nieuw-Zeeland, Noorwegen, Oekraïne, Oman, Oostenrijk, Pakistan, Panama, Paraguay, Polen, Portugal, Qatar, Roemenië, Réunion, Saint Kitts en Nevis, Saint Lucia, Saudi-Arabië, Singapore, Slovenië, Slowakije, Spanje, Sri Lanka, Taiwan, Trinidad en Tobago, Tsjechië, Turks- en Caicoseilanden, Uruguay, Verenigd Koninkrijk, Verenigde Arabische Emiraten, Verenigde Staten, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland

Uitgesloten:

Afghanistan, Jemen, Libië, Nauru, Russische Federatie, Somalië

Dit object wordt verzonden via internationale verzending.

Inclusief internationale tracking, vereenvoudigde inklaring, en geen bijkomende kosten bij levering. Meer info

Land wijzigen:

Verzending en verwerking	Invoerkosten	Tot	Service	Levering*Zie opmerkingen over levering
GBP 25,80 (ongeveer EUR 30,21)	Zie de importkosten bij Betalen	Verenigde Staten	Expresverzending (International Priority Shipping)	Geschatte levering tussen do, 16 mei en do, 23 mei tot 43230

Opmerkingen - Levering *Geschatte leveringsdatums zijn inclusief de verwerkingstijd van de verkoper, de postcode van de verzendlocatie, de postcode van de bestemming en de tijd waarop het object wordt ontvangen, en is afhankelijk van de geselecteerde verzendservice en het ontvangstbewijs van betaling. De leveringstermijnen kunnen variëren, vooral gedurende piekperiodes.

Belasting

Er kunnen belastingen van toepassing zijn tijdens Betalen. Meer weten?Lees meer over het betalen van belastingen op eBay-aankopen.

Btw voor objectnr.226101080461

Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:

Staat/provincie	Btw-tarief

* Btw is alleen van toepassing op subtotaal + verzendkosten voor deze staten

Retourbeleid

Details retourbeleid
De verkoper accepteert geen retourzendingen voor dit object.

Betalingsgegevens

Betalingsmethoden

bigtrekkie79

100% positieve feedback

590 objecten verkocht

Andere objecten van verkoper Neem contact met ons op

Gedetailleerde verkopersbeoordelingen

Gemiddelde van de afgelopen 12 maanden

Nauwkeurige beschrijving

5.0

Redelijke verzendkosten

4.9

Verzendtijd

4.9

Communicatie

4.9

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.