Verification, model checking, and abstract interpretation

E. Allen Emerson

ISBN 10: 3540311394 ISBN 13: 9783540311393

Published by Springer, 2006

Language: English

Condition: Used - As new Soft cover

Save for Later

Sold by Bookbot, Prague, Czech Republic

AbeBooks Seller since October 7, 2023

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Condition: Used - As new

Price:

US$ 33.43

US$ 18.54 shipping from Czech Republic to U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Leichte Abnutzungen. The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.

Seller Inventory # 3336424f-0124-4491-9a02-a664e41e0022

Contact seller

Report this item

Bibliographic Details

Title: Verification, model checking, and abstract interpretation
Publisher: Springer
Publication Date: 2006
Language: English
ISBN 10: 3540311394
ISBN 13: 9783540311393
Binding: Softcover
Condition: As New

About this title

Synopsis

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.

"About this title" may belong to another edition of this title.

Store Description

B�cher kaufen und verkaufen an einem Ort, schnell und ohne Aufwand ? so lautet unser Bookbot Erfolgskonzept. Mit unserem innovativen Konzept machen wir mit Bookbot den Online-Buchhandel nachhaltiger und bringen hochwertige, gebrauchte B�cher antiquarisch in den Umlauf. Mit der Leidenschaft f�r B�cher, dem Wunsch ihren Lebenszyklus zu verl�ngern und dabei gleichzeitig die Umweltbelastung zu reduzieren, hat Dominik Gazdo? Bookbot gegr�ndet. Im klaren Fokus stehen dabei Kundenkomfort und Benutzerfreundlichkeit. Unsere Plattform verspricht Leser*innen eine breite Auswahl sowie einen sicheren Kaufprozess. Von Bestsellern �ber Klassiker bis hin zu Nischenliteratur bietet wir auch lesefreudigen �sterreicher*innen eine wahre Schatzkiste zu fairen Preisen. Im Gegensatz zu herk�mmlichen Verkaufsplattformen gehen wir einen Schritt weiter, indem wir den gesamten Verkaufs- und Versandprozess �bernehmen ? angefangen beim professionellen Abfotografieren der B�cher bis hin zur Ermittlung eines fairen Preises sowie der Kommunikation mit potenziellen K�ufer*innen. Verk�ufer*innen schicken lediglich ihre Buchsch�tze an uns und warten, bis diese neue Besitzer*innen finden und das Entgelt bei ihnen eintrudelt. Die breitgef�cherte Auswahl an Buch-Genres reicht von Klassikern, Bestsellern �ber alte Sch�tze und kultigen Comics bis hin zu Fachpublikationen. Wir bieten hunderttausende Titel aller Genres in vielen Sprachen, meist in perfektem Zustand an. Bei �lteren oder besch�digten B�chern finden sich online detaillierte Bilder des Zustands auf unserer Website. Wir sind stolz, bereits 200.000 gl�ckliche Bookbot-Kund*innen an Bord zu haben und bieten damit eine breite Community an vielen potentielle K�ufer*innen. Nach gelungenen Markteintritten in Tschechien, Deutschland und der Slowakei, sind wir nun auch in �sterreich t�tig.

Visit Seller's Storefront

Seller's business information

Knihobot s.r.o.
Dukelsk�ch hrdin? 359/21, Praha, 17000, Czech Republic

Sale & Shipping Terms

Terms of Sale

Terms and Conditions of Purchase from Bookbot

General provisions
1.1 These Terms and Conditions of Purchase (the ?Terms and Conditions?) of Knihobot s.r.o. (english website Bookbot), Company ID No.: 054 00 651, with its registered office at Dukelsk�ch hrdin? 359/21, Hole?ovice, 170 00 Prague 7, registered in the Commercial Register maintained by the Municipal Court in Prague, Section C, Entry 289573 (?Bookbot?), regulate mutual rights and obligations arising from a purchase contract entered into...

More Information

Shipping Terms

Shipping costs fully cover all US customs tariffs and charges. No additional payment will be required by the US authorities.

Shipping rates from Czech Republic to U.S.A.

Shipping rates from Czech Republic to U.S.A.
Order quantity	4 to 7 business days	4 to 7 business days
First item	US$ 18.54	US$ 18.54

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.