Afbeelding 1 van 1
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, U
Objectstaat:
3 beschikbaar
Prijs:
US $68,55
OngeveerEUR 63,39
- Nu kopenIntegrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, U
Verzendkosten:
Bevindt zich in: Fairfield, Ohio, Verenigde Staten
Levering:
Geschatte levering tussen vr, 14 jun en wo, 26 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,2% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:386686488549
Specificaties
- Objectstaat
- ISBN-13
- 9783540213772
- Book Title
- Integrated Formal Methods
- ISBN
- 9783540213772
- Publication Year
- 2004
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
- Item Length
- 9.3in
- Publisher
- Springer Berlin / Heidelberg
- Item Width
- 6.1in
- Item Weight
- 60.3 Oz
- Number of Pages
- Xii, 548 Pages
Over dit product
Product Information
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The ?rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now ?rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri'cation as some of the challenges in this subject are being met. The work reported at IFM conferences can be seen as part of the attempt to manage complexity by combining paradigms of speci'cation and design, so that the most appropriate design tools are used at di'erent points in the life-cycle.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540213775
ISBN-13
9783540213772
eBay Product ID (ePID)
30781385
Product Key Features
Publication Name
Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Format
Trade Paperback
Language
English
Publication Year
2004
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
Xii, 548 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
60.3 Oz
Additional Product Features
Series Volume Number
2999
Number of Volumes
1 Vol.
Lc Classification Number
Qa75.5-76.95
Table of Content
Invited Talks.- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.- Design Verification for Control Engineering.- Integrating Model Checking and Theorem Proving in a Reflective Functional Language.- Tutorial.- A Tutorial Introduction to Designs in Unifying Theories of Programming.- Contributed Papers.- An Integration of Program Analysis and Automated Theorem Proving.- Verifying Controlled Components.- Efficient CSP Z Data Abstraction.- State/Event-Based Software Model Checking.- Formalising Behaviour Trees with CSP.- Generating MSCs from an Integrated Formal Specification Language.- UML to B: Formal Verification of Object-Oriented Models.- Software Verification with Integrated Data Type Refinement for Integer Arithmetic.- Constituent Elements of a Correctness-Preserving UML Design Approach.- Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption.- Linking CSP-OZ with UML and Java: A Case Study.- Object-Oriented Modelling with High-Level Modular Petri Nets.- Specification and Verification of Synchronizing Concurrent Objects.- Understanding Object-Z Operations as Generalised Substitutions.- Embeddings of Hybrid Automata in Process Algebra.- An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.- A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models.- Integrating Temporal Logics.- Integration of Specification Languages Using Viewpoints.- Integrating Formal Methods by Unifying Abstractions.- Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors.- Using UML Sequence Diagrams as the Basis for a Formal Test Description Language.- Viewpoint-Based Testing of Concurrent Components.- A Method for Compiling and Executing Expressive Assertions.
Copyright Date
2004
Topic
Programming / General, Software Development & Engineering / General, Computer Science, Logic Design
Lccn
2004-102974
Dewey Decimal
005.13/1
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:386686488549
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 vr, 14 jun en wo, 26 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.386686488549
Btw voor objectnr.386686488549
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.023.957)
6***j (1819)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Excellent Ebayer, would buy from again.
a***a (10)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
The book was in beautiful shape and was delivered in a timely manner. The product was exactly as described in post. I would buy from this seller again.
9***u (16)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Shipped quick, packed well, in condition advertised. Good job!