Afbeelding 1 van 1
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, US
Objectstaat:
3 beschikbaar
Verzendkosten:
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
Verkopergegevens
- 98,3% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:386666243440
Specificaties
- Objectstaat
- ISBN-13
- 9783540281955
- Book Title
- Model Checking Software
- ISBN
- 9783540281955
- Publication Name
- Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
- Item Length
- 9.3in
- Publisher
- Springer Berlin / Heidelberg
- Series
- Lecture Notes in Computer Science Ser.
- Publication Year
- 2005
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.3in
- Item Width
- 6.1in
- Item Weight
- 33.9 Oz
- Number of Pages
- Xii, 292 Pages
Over dit product
Product Information
This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems. The workshop focuses on topics including theoretical and algorithmic foundations and tools for software model checking, modelderivationfromcodeandcodederivationfrommodels, techniquesforde- ing with large and in?nite state spaces, and applications. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. It has traditionally drawn contributions from both academia and industry. The SPIN workshop series started 10 years ago, in 1995. Since then, SPIN workshopshavebeenheldonanannualbasisatMontr eal(1995), NewBrunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), St- ford (2000), Toronto (2001), Grenoble (2002), Portland (2003) and Barcelona (2004). 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), theWorldCongressonFormalMethods(1999), FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002, 2004). This year, SPIN was held as a satellite event of CONCUR 2005. The co-location of SPIN workshops with conferenceshas provento be verysuccessfulandhas helpedto disseminateSPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer's Lecture Notes in Computer Science series. ThehistoryofsuccessfulSPINworkshopsisevidenceforthematuringofso- waremodel-checkingtechnology.Whileinearlieryearsthefocus oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540281959
ISBN-13
9783540281955
eBay Product ID (ePID)
48246486
Product Key Features
Publication Name
Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Format
Trade Paperback
Language
English
Series
Lecture Notes in Computer Science Ser.
Publication Year
2005
Type
Textbook
Number of Pages
Xii, 292 Pages
Dimensions
Item Length
9.3in
Item Height
0.3in
Item Width
6.1in
Item Weight
33.9 Oz
Additional Product Features
Series Volume Number
3639
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
Invited Talks/Papers.- Pushdown Model Checking for Security.- Execution Generated Test Cases: How to Make Systems Code Crash Itself.- Invited Tutorials.- Effective Bug Hunting with Spin and Modex.- The BLAST Software Verification System.- Model Checking Programs with Java PathFinder.- State Representation and Abstraction.- An Incremental Heap Canonicalization Algorithm.- Memory Efficient State Space Storage in Explicit Software Model Checking.- Counterexample-Based Refinement for a Boundedness Test for CFSM Languages.- Dealing with Concurrency.- Symbolic Model Checking for Asynchronous Boolean Programs.- Improving Spin's Partial-Order Reduction for Breadth-First Search.- Sound Transaction-Based Reduction Without Cycle Detection.- Dealing with Complex Data.- Repairing Structurally Complex Data.- Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.- Behavioural Models for Hierarchical Components.- Checking Temporal Properties.- On-the-Fly Emptiness Checks for Generalized Büchi Automata.- Stuttering Congruence for '.- Verifying Pattern-Generated LTL Formulas: A Case Study.- Checking Security and Real-Time Properties.- Generic Verification of Security Protocols.- Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.- Model Checking Machine Code with the GNU Debugger.- Tool Papers.- Etch: An Enhanced Type Checking Tool for Promela.- Enhanced Probabilistic Verification with 3Spin and 3Murphi.- SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions.- Learning-Based Assume-Guarantee Verification (Tool Paper).
Copyright Date
2005
Topic
Software Development & Engineering / General, Computer Science, General, Compilers
Lccn
2005-930636
Dewey Decimal
005.14
Intended Audience
Scholarly & Professional
Dewey Edition
22
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
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:386666243440
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
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 |
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. |
Btw voor objectnr.386666243440
Btw voor objectnr.386666243440
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
Staat | 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
Populaire rubrieken in deze winkel
Ingeschreven als zakelijke verkoper
Feedback verkoper (1.024.009)
d***_ (2)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Good morning, I have not seen any updates on the status of the book order, could you please ship, and thank you so much, I appreciate it.
t***h (383)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Topseller +++++
f***f (615)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Good