Afbeelding 1 van 1

Hebt u iets om te verkopen?

Verkoop het zelf

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, Apr

Objectstaat:

Nieuw

Aantal:

3 beschikbaar

Prijs:

US $66,24

OngeveerEUR 61,10

Verzendkosten:

Gratis Economy Shipping. Details bekijkenvoor verzending

Bevindt zich in: Fairfield, Ohio, Verenigde Staten

Levering:

Geschatte levering tussen za, 15 jun en do, 27 jun tot 43230

Retourbeleid:

30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen

Betalingen:

Winkel met vertrouwen

Topverkoper

Betrouwbare verkoper, snelle verzending en eenvoudige retourzending.

Meer weten?- Topverkoper Plus: nieuw venster of tabblad

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

grandeagleretail (920277)
98,3% positive feedback

Ingeschreven als zakelijke verkoper

Dit object rapporteren - nieuw venster of nieuw tabblad

De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.

eBay-objectnummer:395152090677

Laatst bijgewerkt op 19 mei 2024 12:54:07 CESTAlle herzieningen bekijkenAlle herzieningen bekijken

Specificaties

Objectstaat: Nieuw: Een nieuw, ongelezen en ongebruikt boek in perfecte staat waarin geen bladzijden ontbreken of ...

ISBN-13: 9783540213147

Book Title: Model Checking Software

ISBN: 9783540213147

Publication Year: 2004

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Format: Trade Paperback

Language: English

Publication Name: Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Author: Laurent Mounier

Item Length: 9.3in

Publisher: Springer Berlin / Heidelberg

Item Width: 6.1in

Item Weight: 17.4 Oz

Number of Pages: X, 314 Pages

Over dit product

Product Information

Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the ?rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), the World Congress on Formal Methods (1999), FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002). This year again, SPIN was held as a satellite event of ETAPS 2004. The co-location of SPIN workshops with conferences has proven to be very successful and has helped to disseminate SPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer-Verlag's Lecture Notes in Computer Science series. The history of successful SPIN workshops is evidence for the maturing of model checking technology, not only in the hardware domain, but increasingly also in the software area. While in earlier years algorithms and tool development aroundtheSPINmodelcheckerwerethefocusofthisworkshopseries, forseveral years now the scope has been widened to include more general approaches to software model checking techniques and tools as well as applications. The SPIN workshop has become a forum for all practitioners and researchers interested in model checking based techniques for the validation and analysis of communication protocols and software systems.

Product Identifiers

Publisher

Springer Berlin / Heidelberg

ISBN-10

3540213147

ISBN-13

9783540213147

eBay Product ID (ePID)

30783911

Product Key Features

Author

Laurent Mounier

Publication Name

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Format

Trade Paperback

Language

English

Publication Year

2004

Series

Lecture Notes in Computer Science Ser.

Type

Textbook

Number of Pages

X, 314 Pages

Dimensions

Item Length

9.3in

Item Width

6.1in

Item Weight

17.4 Oz

Additional Product Features

Series Volume Number

2989

Number of Volumes

1 Vol.

Lc Classification Number

Qa76.758

Table of Content

Invited Paper.- Formal Analysis of Processor Timing Models.- Heuristics and Probabilities.- Typical Structural Properties of State Spaces.- State Caching Reconsidered.- Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM.- Fast and Accurate Bitstate Verification for SPIN.- Improvements of SPIN.- Model-Driven Software Verification.- Minimization of Counterexamples in SPIN.- Validation of Timed Systems.- Black-Box Conformance Testing for Real-Time Systems.- Validation of UML Models via a Mapping to Communicating Extended Timed Automata.- Tool Papers.- Explicit State Model Checking with Hopper.- SEQ.OPEN: A Tool for Efficient Trace-Based Verification.- Model Checking Genetic Regulatory Networks Using GNA and CADP.- Abstraction and Symbolic Methods.- Verification of Java Programs Using Symbolic Execution and Invariant Generation.- Polynomial Time Image Computation with Interval-Definable Counters Systems.- Using Fairness to Make Abstractions Work.- A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.- Applications.- Translation from Adapted UML to Promela for CORBA-Based Applications.- Verifying Commit-Atomicity Using Model-Checking.- Analysis of Distributed Spin Applied to Industrial-Scale Models.- Verification of MPI-Based Software for Scientific Computation.- Tutorials.- Advanced SPIN Tutorial.- IF Validation Environment Tutorial.

2004

Topic

Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Computer Science, Compilers

Lccn

2004-102408

Dewey Decimal

005.14

Intended Audience

Scholarly & Professional

Dewey Edition

Illustrated

Yes

Genre

Computers

Objectbeschrijving van de verkoper

Informatie van zakelijke verkoper

Premier Books LLC

David Taylor

26C Trolley Sq

19806-3356 Wilmington, DE

United States

Contactgegevens weergeven

:liam-Emoc.liaterelgaednarg@yabe

Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.

De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.

eBay-objectnummer:395152090677

Laatst bijgewerkt op 19 mei 2024 12:54:07 CESTAlle herzieningen bekijkenAlle herzieningen bekijken

Verzending en verwerking

Objectlocatie:

Fairfield, Ohio, Verenigde Staten

Wordt verzonden naar:

Afghanistan, Albanië, Algerije, Andorra, Angola, Anguilla, Antigua en Barbuda, Argentinië, Armenië, Aruba, Australië, Azerbeidzjan, Bahama's, Bahrein, Bangladesh, België, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnië en Herzegovina, Botswana, Brazilië, Britse Maagdeneilanden, Brunei Darussalam, Bulgarije, Burkina Faso, Burundi, Cambodja, Canada, Centraal-Afrikaanse Republiek, Chili, China, Colombia, Comoren, Cookeilanden, Costa Rica, Cyprus, Democratische Republiek Congo, Denemarken, Djibouti, Dominica, Dominicaanse Republiek, Duitsland, Ecuador, Egypte, El Salvador, Equatoriaal-Guinea, Eritrea, Estland, Ethiopië, Falklandeilanden (Islas Malvinas), Fiji, Filipijnen, Finland, Frankrijk, Gabon, Gambia, Georgië, Ghana, Gibraltar, Grenada, Griekenland, Groenland, Guatemala, Guernsey, Guinee, Guinee-Bissau, Guyana, Haïti, Honduras, Hongarije, Hongkong, IJsland, Ierland, India, Indonesië, Irak, Israël, Italië, Ivoorkust, Jamaica, Japan, Jemen, Jersey, Jordanië, Kaaimaneilanden, Kaapverdische eilanden, Kameroen, Kazachstan, Kenia, Kirgizië, Kiribati, Koeweit, Kroatië, Laos, Lesotho, Letland, Libanon, Liberia, Liechtenstein, Litouwen, Luxemburg, Macau, Macedonië, Madagaskar, Malawi, Maldiven, Maleisië, Mali, Malta, Marokko, Mauritanië, Mauritius, Mayotte, Mexico, Moldavië, Monaco, Mongolië, Montenegro, Montserrat, Mozambique, Namibië, Nauru, Nederland, Nederlandse Antillen, Nepal, Nicaragua, Nieuw-Zeeland, Niger, Nigeria, Niue, Noorwegen, Oeganda, Oezbekistan, Oman, Oostenrijk, Pakistan, Paraguay, Peru, Polen, Portugal, Qatar, Republiek Congo, Roemenië, Rwanda, Saint Kitts en Nevis, Saint Lucia, Saint Pierre en Miquelon, Saint Vincent en de Grenadines, San Marino, Saudi-Arabië, Senegal, Servië, Seychellen, Sierra Leone, Singapore, Sint-Helena, Slovenië, Slowakije, Solomoneilanden, Somalië, Spanje, Spitsbergen en Jan Mayen, Sri Lanka, Suriname, Swaziland, Tadzjikistan, Taiwan, Tanzania, Thailand, Togo, Tonga, Trinidad en Tobago, Tsjaad, Tsjechië, Tunesië, Turkije, Turkmenistan, Turks- en Caicoseilanden, Tuvalu, Uruguay, Vanuatu, Vaticaanstad, Verenigd Koninkrijk, Verenigde Arabische Emiraten, Vietnam, Wallis en Futuna, Wereldwijd, Westelijke Sahara, Zambia, Zimbabwe, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland

Uitgesloten:

APO/FPO, Alaska/Hawaï, Amerikaanse protectoraten, Barbados, Frans-Guyana, Frans-Polynesië, Guadeloupe, Libië, Martinique, Nieuw-Caledonië, Oekraïne, Panama, Papoea-Nieuw-Guinea, Russische Federatie, Réunion, Venezuela, Westelijk Samoa, Wit-Rusland

Aantal:

Land wijzigen:

Postcode:

Verzending en verwerking	Elk volgende object	Tot	Service	Levering*Zie opmerkingen over levering
Gratis verzending	Gratis	Verenigde Staten	Economy Shipping	Geschatte levering tussen za, 15 jun en do, 27 jun 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.

Verwerkingstijd

Wordt doorgaans binnen 10 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.