Willkommen, schön sind Sie da!

Mein Ex Libris
Jetzt anmelden
- Bitte melden Sie sich an, um das Produkt zu bewerten.
  
  Bitte melden Sie sich an, um das Produkt als hilfreich/nicht hilfreich zu bewerten.
  
  Bitte melden Sie sich an, um eine Bewertung als Missbrauch zu melden.
  
  Bitte melden Sie sich an, um Ihre Merkliste zu sehen.
  
  Bitte melden Sie sich an, um Produkte in Ihre Merkliste hinzuzufügen.
  
  Bitte melden Sie sich an, um eine Rückmeldung zu geben.
  
  Die eingegebene E-Mail Adresse und/oder das Passwort sind nicht korrekt.
  
  E-Mail-Adresse
  
  Passwort
  
  Passwort vergessen
  
  Angemeldet bleiben
  
  Jetzt Konto eröffnen
  
  Bitte geben Sie Ihre E-Mail-Adresse ein. Existiert zu dieser Adresse ein Ex Libris-Konto, wird Ihnen ein Link zugeschickt, um ein neues Passwort zu setzen.
  
  Der Link wurde an die angegebene Adresse verschickt, sofern ein zugehöriges Ex Libris-Konto vorhanden ist.
  
  E-Mail-Adresse
  
  Zur Anmeldung Jetzt Konto eröffnen
DE FR

-1
- Der Artikel wurde der Merkliste hinzugefügt.

0
- Sie haben bereits bei einem früheren Besuch Artikel in Ihren Warenkorb gelegt. Ihr Warenkorb wurde nun mit diesen Artikeln ergänzt.
  
  Der Artikel wurde dem Warenkorb hinzugefügt.
  
  Ihr Warenkorb ist leer.
  
  cart.message.error
  Total
  
  CHF
  
  Zur Kasse

Erweiterte Suche

Bücher

Games
- PC
- PS 5
- PS 4
- Xbox Series X

Mehr
- Geschenke & Fun

schliessen

Club-Welt Geschenkefinder Disney-Welten Aktionen & Specials Gutscheine schenken

Cover: https://exlibris.azureedge.net/covers/9783/0303/8808/9/9783030388089xl.jpg

Dynamic Logic. New Trends and Applications

E-Book (pdf)
227 Seiten

(0) Erste Bewertung abgeben

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal i... Weiterlesen

E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.

CHF 71.00

Download steht sofort bereit

Informationen zu E-Books: E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.

Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Inhalt

Logic and verification.- Dynamic logics.-Modal and temporal logics.-Epistemic logics.- Program semantics.- Program reasoning Pre- and post- conditions.- Program verification.

Produktinformationen

Titel:	Dynamic Logic. New Trends and Applications
Untertitel:	Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Editor:	Luís Soares Barbosa Alexandru Baltag
EAN:	9783030388089
Digitaler Kopierschutz:	Wasserzeichen
Format:	E-Book (pdf)
Hersteller:	Springer-Verlag GmbH
Genre:	IT & Internet
Anzahl Seiten:	227
Veröffentlichung:	13.01.2020
Dateigrösse:	5.6 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Band 11981

Ihr Link zur Ex Libris-Reader-App

Dynamic Logic. New Trends and Applications

E-Book (pdf)

Beschreibung

Produktinformationen

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Computer Security

Cyberspace Safety and Security

Cyberspace Safety and Security

Emerging Technologies for Education

Mining Data for Financial Applications

Advanced Analytics and Learning on Temporal Data

Mathematical Aspects of Computer and Information Sciences

Verification, Model Checking, and Abstract Interpretation

Radiomics and Radiogenomics in Neuro-oncology

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Image and Video Technology

Modelling and Simulation for Autonomous Systems

Pattern Recognition Applications and Methods

Euro-Par 2019: Parallel Processing Workshops

Information and Communications Security

Complexity and Approximation

Innovative Security Solutions for Information Technology and Communications

Advanced Concepts for Intelligent Vision Systems

Information Retrieval Technology

Dynamic Logic. New Trends and Applications

Topics in Cryptology - CT-RSA 2020

Practical Aspects of Declarative Languages

Databases Theory and Applications

Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges

Variable Neighborhood Search

SOFSEM 2020: Theory and Practice of Computer Science

Foundations of Information and Knowledge Systems

Computer Aided Systems Theory - EUROCAST 2019

Computer Aided Systems Theory - EUROCAST 2019

Smart Multimedia

Algorithms and Discrete Applied Mathematics

Accelerator Programming Using Directives

Formal Aspects of Component Software

Service-Oriented Computing - ICSOC 2019 Workshops

Information Security and Cryptology

Disinformation in Open Online Media

Digital Forensics and Watermarking

Information Security Theory and Practice

Risks and Security of Internet and Systems

Structured Object-Oriented Formal Language and Method

Beliebt

Neuerscheinungen

Schenken

Disney-Welten

Newsletter

Vorbestellen

Übersicht

Charts

Ex Libris Club

Hilfe

Über uns

Einfach zahlen mit

Folgen Sie uns