Afbeelding 1 van 3

Software Engineering and Formal Methods: 19th International Conference - Afbeelding 2 van 3

Software Engineering and Formal Methods: 19th International Conference - Afbeelding 3 van 3

Hebt u iets om te verkopen?

Verkoop het zelf

Software Engineering and Formal Methods: 19th International Conference

Objectstaat:

Vrijwel nieuw

Prijs:

US $34,99

OngeveerEUR 32,74

Beste voorstel:

Verzendkosten:

Gratis Voordelige verzending. Details bekijkenvoor verzending

Bevindt zich in: Tracy, California, Verenigde Staten

Levering:

Geschatte levering tussen vr, 21 jun en wo, 26 jun tot 43230

Retourbeleid:

Geen retourzendingen geaccepteerd. Details bekijken- voor meer informatie over retourzendingen

Betalingen:

Winkel met vertrouwen

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

killersweetdeals (234)
100% positive feedback

Geregistreerd als particuliere verkoper, dus de consumentenrechten die voortvloeien uit de EU-wetgeving inzake consumentenbescherming zijn niet van toepassing. De geld-terug-garantie van eBay geldt nog steeds voor de meeste aankopen.

Dit object rapporteren - nieuw venster of nieuw tabblad

De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.

eBay-objectnummer:145781790887

Specificaties

Objectstaat: Vrijwel nieuw: Een boek dat er als nieuw uitziet, maar al wel is gelezen. De kaft is niet zichtbaar ... Vrijwel nieuw: Een boek dat er als nieuw uitziet, maar al wel is gelezen. De kaft is niet zichtbaar beschadigd en het eventuele stofomslag zit nog om de harde kaft heen. Er ontbreken geen bladzijden en er zijn geen bladzijden beschadigd. Er is geen tekst onderstreept of gemarkeerd en er is niet in de kantlijn geschreven. Er kunnen zeer minimale identificatiemerken aan de binnenzijde van de kaft zijn aangebracht. De slijtage is zeer minimaal. Bekijk de aanbieding van de verkoper voor de volledige details en een beschrijving van gebreken. Alle staatdefinities bekijkenwordt in nieuw venster of op nieuw tabblad geopend

ISBN: 9783030921231

Subject Area: Computers

Publication Name: Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

Item Length: 9.3 in

Publisher: Springer International Publishing A&G

Subject: Software Development & Engineering / General, Computer Science, Intelligence (Ai) & Semantics

Series: Lecture Notes in Computer Science Ser.

Publication Year: 2021

Type: Textbook

Format: Trade Paperback

Language: English

Author: Corina S. PăSăReanu

Item Width: 6.1 in

Item Weight: 28.9 Oz

Number of Pages: Xv, 522 Pages

Over dit product

Product Information

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Product Identifiers

Publisher

Springer International Publishing A&G

ISBN-10

3030921239

ISBN-13

9783030921231

eBay Product ID (ePID)

6057288025

Product Key Features

Author

Corina S. PăSăReanu

Publication Name

Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

Format

Trade Paperback

Language

English

Subject

Software Development & Engineering / General, Computer Science, Intelligence (Ai) & Semantics

Series

Lecture Notes in Computer Science Ser.

Publication Year

2021

Type

Textbook

Subject Area

Computers

Number of Pages

Xv, 522 Pages

Dimensions

Item Length

9.3 in

Item Width

6.1 in

Item Weight

28.9 Oz

Additional Product Features

Series Volume Number

13085

Number of Volumes

1 Vol.

Lc Classification Number

Qa76.758

Table of Content

Invited Papers.- RoboWorld: Where Can My Robot Work?.- Validating Safety Arguments with Lean.- Run-time Analysis and Testing.- Runtime Enforcement with Reordering, Healing, and Suppression.- Monitoring First-Order Interval Logic.- Exhaustive Property Oriented Model-based Testing With Symbolic Finite State Machines.- nfer - A Tool for Event Stream Abstraction.- Mining Shape Expressions with ShapeIt.- Security and Privacy.- Refining Privacy-Aware Data Flow Diagrams.- Hybrid Information Flow Control for Low-level Code.- Upper Bound Computation of Information Leakages for Unbounded Recursion.- On the Security and Safety of AbU Systems.- Parallel Composition/CSP and Probabilistic Reasoning.- Parallelized sequential composition and hardware weak memory models.- Checking Opacity and Durable Opacity with FDR.- Translation of CCS into CSP, Correct up toStrong Bisimulation.- Probabilistic BDI Agents: Actions, Plans, and Intentions.- A Debugger for Probabilistic Programs.- Verification and Synthesis.- Verification of Programs with Exceptions through Operator-Precedence Automata.- Counterexample Classification.- Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines.- Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL synthesis.- TACoS: A Tool for MTL Controller Synthesis.- Emerging Domains.- Lightweight Nontermination Inference with CHCs.- A Denotational Semantics of Solidity in Isabelle/HOL.- Configuration Space Exploration for Digital Printing Systems.- Bit-precise Verification of Discontinuity Errors Under Fixed-point Arithmetic.- Machine Learning and Cyber-Physical Systems.- OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks.- Active Model Learning of Stochastic Reactive Systems.- Mixed-Neighborhood, Multi-Speed Cellular Automata for Safety-Aware Pedestrian Prediction.

2021

Illustrated

Yes

Objectbeschrijving van de verkoper

De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.

eBay-objectnummer:145781790887

Verzending en verwerking

Objectlocatie:

Tracy, California, Verenigde Staten

Wordt verzonden naar:

Afghanistan, Albanië, Algerije, Amerikaans-Samoa, 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, Guam, 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, Maagdeneilanden (VS), Macau, Macedonië, Madagaskar, Malawi, Maldiven, Maleisië, Mali, Malta, Marokko, Marshalleilanden, Mauritanië, Mauritius, Mayotte, Mexico, Micronesië, Moldavië, Monaco, Mongolië, Montenegro, Montserrat, Mozambique, Namibië, Nauru, Nederland, Nederlandse Antillen, Nepal, Nicaragua, Nieuw-Zeeland, Niger, Nigeria, Niue, Noorwegen, Oeganda, Oezbekistan, Oman, Oostenrijk, Pakistan, Palau, Panama, Papoea-Nieuw-Guinea, Paraguay, Peru, Polen, Portugal, Puerto Rico, 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, Westelijk Samoa, Westelijke Sahara, Wit-Rusland, Zambia, Zimbabwe, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland

Uitgesloten:

Barbados, Frans-Guyana, Frans-Polynesië, Guadeloupe, Libië, Martinique, Nieuw-Caledonië, Oekraïne, Russische Federatie, Réunion, Venezuela

Land wijzigen:

Postcode:

Verzending en verwerking	Tot	Service	Levering*Zie opmerkingen over levering
Gratis verzending	Verenigde Staten	Voordelige verzending (USPS Media MailTM)	Geschatte levering tussen vr, 21 jun en wo, 26 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 3 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.145781790887

Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:

Staat/provincie	Btw-tarief

* Btw is alleen van toepassing op subtotaal + verzendkosten voor deze staten

Retourbeleid

Details retourbeleid
De verkoper accepteert geen retourzendingen voor dit object.

Betalingsgegevens

Betalingsmethoden

killersweetdeals

100% positieve feedback

617 objecten verkocht

Andere objecten van verkoper Neem contact met ons op

Reageert meestal binnen 24 uur

Gedetailleerde verkopersbeoordelingen

Gemiddelde van de afgelopen 12 maanden

Nauwkeurige beschrijving

4.9

Redelijke verzendkosten

4.9

Verzendtijd

5.0

Communicatie

4.9

Geregistreerd als particuliere verkoper

Dus de consumentenrechten die voortvloeien uit EU-wetgeving voor consumentenbescherming zijn niet van toepassing. eBay-kopersbescherming geldt nog steeds voor de meeste aankopen.