Afbeelding 1 van 1
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer Schoo
Objectstaat:
3 beschikbaar
Verzendkosten:
Bevindt zich in: Fairfield, Ohio, Verenigde Staten
Levering:
Geschatte levering tussen za, 22 jun en wo, 3 jul 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:386659277320
Specificaties
- Objectstaat
- ISBN-13
- 9783540424796
- Book Title
- Lectures on Formal Methods and Performance Analysis
- ISBN
- 9783540424796
- Subject Area
- Computers
- Publication Name
- Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science
- Item Length
- 9.3 in
- Publisher
- Springer Berlin / Heidelberg
- Subject
- Software Development & Engineering / General, Hardware / General, Computer Science
- Publication Year
- 2001
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Width
- 6.1 in
- Item Weight
- 48.7 Oz
- Number of Pages
- VIII, 434 Pages
Over dit product
Product Information
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di'erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di'erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous data transfer for live video tra- mission. During the last decade, this trend has motivated an increased interest in c- bining insights and results from the ?eld of formal methods - traditionally - cused on functionality - with techniques for performance modeling and analysis. Prominent examples of this cross-fertilization are extensions of process algebra and Petri nets that allow for the automatic generation of performance models, the use of formal proof techniques to assess the correctness of randomized - gorithms, and extensions of model checking techniques to analyze performance requirements automatically. We believe that these developments markthe - ginning of a new paradigm for the modeling and analysis of systems in which qualitative and quantitative aspects are studied from an integrated perspective. We are convinced that the further worktowards the realization of this goal will be a growing source of inspiration and progress for both communities.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540424792
ISBN-13
9783540424796
eBay Product ID (ePID)
2012560
Product Key Features
Publication Name
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science
Format
Trade Paperback
Language
English
Subject
Software Development & Engineering / General, Hardware / General, Computer Science
Publication Year
2001
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Subject Area
Computers
Number of Pages
VIII, 434 Pages
Dimensions
Item Length
9.3 in
Item Width
6.1 in
Item Weight
48.7 Oz
Additional Product Features
LCCN
2001-049290
Intended Audience
Scholarly & Professional
Series Volume Number
2090
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
Formal Methods for Performance Evaluation.- Markovian Models for Performance and Dependability Evaluation.- to Stochastic Petri Nets.- Non-Markovian Analysis.- Process Algebra and Markov Chains.- Verification of Randomized Distributed Algorithms.- Constructing Automata from Temporal Logic Formulas: A Tutorial'.- Exploiting Structure in Solution: Decomposing Compositional Models.- Stochastic Activity Networks: Formal Definitions and Concepts'.- Distributed and Structured Analysis Approaches to Study Large and Complex Systems'.- General Distributions in Process Algebra.
Copyright Date
2001
Dewey Decimal
004/.01/51
Dewey Edition
21
Illustrated
Yes
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:386659277320
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, 22 jun en wo, 3 jul 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.386659277320
Btw voor objectnr.386659277320
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.420)
c***c (899)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Great Item and Transaction ~ Thx !
_***1 (1)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Was delivered on time and well packaged. Was totally satisfied with my purchase
l***0 (732)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Perfect condition, good price!