Afbeelding 1 van 1

Hebt u iets om te verkopen?

Verkoop het zelf

Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2

Objectstaat:

Nieuw

Aantal:

7 beschikbaar

Prijs:

US $66,24

OngeveerEUR 61,97

Verzendkosten:

Gratis Economy Shipping. Details bekijkenvoor verzending

Bevindt zich in: Fairfield, Ohio, Verenigde Staten

Levering:

Geschatte levering tussen za, 18 mei en do, 30 mei tot 43230

Retourbeleid:

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

Betalingen:

Winkel met vertrouwen

eBay-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 (918536)
98,2% 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:364685236090

Laatst bijgewerkt op 01 apr 2024 08:12:45 CESTAlle herzieningen bekijkenAlle herzieningen bekijken

Specificaties

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

ISBN-13: 9783319735788

Book Title: Dynamic Logic. New Trends and Applications

ISBN: 9783319735788

Series: Lecture Notes in Computer Science Ser.

Publication Year: 2018

Type: Textbook

Format: Trade Paperback

Language: English

Publication Name: Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

Author: Mário Benevides

Item Length: 9.3in

Publisher: Springer International Publishing A&G

Item Width: 6.1in

Item Weight: 16 Oz

Number of Pages: IX, 201 Pages

Over dit product

Product Information

This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic logics for cyber-physical systems. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The workshop is based on the project DaL - Dynamic logics for cyber-physical systems: towards contract based design.

Product Identifiers

Publisher

Springer International Publishing A&G

ISBN-10

3319735780

ISBN-13

9783319735788

eBay Product ID (ePID)

241141357

Product Key Features

Author

Mário Benevides

Publication Name

Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

Format

Trade Paperback

Language

English

Series

Lecture Notes in Computer Science Ser.

Publication Year

2018

Type

Textbook

Number of Pages

IX, 201 Pages

Dimensions

Item Length

9.3in

Item Width

6.1in

Item Weight

16 Oz

Additional Product Features

Series Volume Number

10669

Number of Volumes

1 Vol.

Lc Classification Number

Q334-342

Table of Content

Undecidability of Relation-Changing Modal Logics.- Axiomatization and computability of a variant of iteration-free PDL with fork.- A Dynamic Logic for Learning Theory.- Layered logics, coalgebraically.- A Dynamic Informational-Epistemic Logic.- Dynamic Epistemic Logics of Introspection.- Logics for Actor Networks: a case study in constrained hybridization.- Parity Games and Automata for Game Logic.- Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment.- Dynamic Logic: A personal perspective.- The Creation and Change of Social Networks: a logical study based on group size.

2018

Topic

Software Development & Engineering / General, Hardware / General, Intelligence (Ai) & Semantics, Logic, Computer Vision & Pattern Recognition

Illustrated

Yes

Genre

Computers, Mathematics

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:364685236090

Laatst bijgewerkt op 01 apr 2024 08:12:45 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, 18 mei en do, 30 mei 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.