Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Dynamic Logic. New Trends and Applications

Name: Dynamic Logic. New Trends and Applications
Brand: Springer Nature Switzerland AG
SKU: 25351974
Price: 51.84 EUR
Availability: InStock
Author: Luís Soares Barbosa
ISBN: 9783030388072

Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Luís Soares Barbosa

Alexandru Baltag

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 25351974

Nakladateľstvo Springer Nature Switzerland AG, január 2020

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 20... Celý popis

Libristo kód: 25351974

125 b

51.84 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Neon Genesis Evangelion - Perfect Edition 3 Antje Bockel

Brožovaná

16.33 €

Dimensionamiento del Plan de Prevención y Protección contra Incendios

Brožovaná

32.16 €

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Dynamic Logic. New Trends and Applications

Autor Luís Soares Barbosa, Alexandru Baltag

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2020

Počet strán 227

EAN 9783030388072

Libristo kód 25351974

Nakladateľstvo Springer Nature Switzerland AG

Váha 454

Rozmery 155 x 235 x 14

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Growth and Development in Adulthood among Persons with Intellectual Disability Hefziba Lifshitz

Brožovaná

92.94 €

Poetic Sisters Deborah Kennedy

Pevná

135.86 €

10 Health Questions About the Caucasus and Central Asia Albena Arnaudova

Brožovaná

49.10 €

Campaigning With Crook Charles King

Brožovaná

16.63 €

Carp Fishing on Valium Graham Parker

Brožovaná

14.09 €

Last Letter Home: Stories of War, Love and Remembrance Josh Grossberg

Brožovaná

10.64 €

Institutions, Innovation, and Industrialization Avner Greif

Brožovaná

27.08 €

Ecology: A Very Short Introduction Jaboury Ghazoul

Adobe ePub DRM

8.11 €

Nightingale Andersen

MP3

3.95 €

Často hľadané

Categories

Authors

Publishers

Často hľadané

Tovar

Categories

Authors

Publishers

Doručenie

Nákupný poradca

Dynamic Logic. New Trends and Applications