Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Szerző: Tiziana Margaria, Bernhard Steffen
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer Nature Switzerland AG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 595 Ft
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the...

Információk a könyvről

Szerző
Tiziana Margaria, Bernhard Steffen
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2018
oldal
522
EAN
9783030034238
ISBN
3030034232
Enbook ID
20319261
Kiadó
Springer Nature Switzerland AG
Súly
813
Méretek
155 x 235 x 27

Teljes leírás

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

Érdekelheti

Aquaponics in Winter: How to Heat Your Aquaponic Garden in Cold Climate

Timothy Tripp
4 919 Ft

ESSAYS EXPLANATORY AND EXPERIMENTAL, UPO

STEPHEN LOWRY
11 904 Ft

Dwij

William (Florida Atlantic U Boca Raton) Smith
12 250 Ft

SKETCH OF THE LIFE OF SARAH B

Anonymous
11 199 Ft

Deconstructing Gurdjieff

Tobias Churton
9 857 Ft

Taxpayer Privacy: A Guide for Screening and Assessing Proposals to Disclose Confidential Tax Information to Specific Parties for Specifi

Government Accountability Office (U S )
5 943 Ft

Visitor Vehicle Emissions Study: Comparison of Traffic Data at Three California National Parks- Final Report

National Park Service
6 294 Ft

Advances in the Computer Simulatons of Liquid Crystals

Paolo Pasini
41 055 Ft

Solar Heating Systems for Houses

Werner Weiss
35 499 Ft

Germany's Russia Problem

John Lough
11 472 Ft

Catalogue of Atlanta University; 1900/01

Atlanta University
6 221 Ft

Birds of Ecuador and the Galapagos Islands

Murray Cooper
6 926 Ft

Devised Theater's Collaborative Performance

Telory D Arendell
70 420 Ft

They Called It Peace – Worlds of Imperial Violence

Lauren Benton
12 264 Ft

The Elements of Coordinate Geometry Part-1 Cartesian Coordinates

SL Loney
19 754 Ft

Three and a Half Mermaids

Anabelle Rose Lundy
5 151 Ft

Stromata Or Miscellanies V3

Clement Of Alexandria
7 272 Ft

Environmental Modelling

Jo Smith
32 814 Ft

SQL Server 2014

Richard Earp
98 429 Ft

Homosexuality in Renaissance England

Alan Bray
15 326 Ft

Socrates from Antiquity to the Enlightenment and Socrates in the Nineteenth and Twentieth Centuries

49 164 Ft

Role of International Institutions in Globalisation

John–ren Chen
51 171 Ft

Sacred Stones of Ireland

Christine Zucchelli
9 584 Ft

Constitutional Origins of the American Revolution

Jack P. Greene
24 473 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Rundzelltumor

Shailesh Kumar
17 001 Ft

Godland

Martin Schäuble
3 349 Ft

Bildermaus - Mit Bildern Englisch lernen - Delfingeschichten - Dolphin Stories

Sabine Kraushaar
2 799 Ft

Helmut Newton: Pola Woman

Helmut Newton
16 045 Ft

Polimernye truboprovody v teplojenergetike

Vladimir Kiseljov
24 459 Ft

Universidad, singularización y teoría de las artes

GARCIA BERRIO
20 173 Ft

Histoire Generale de Languedoc: T. 1 (Ed.1840-1846)

Claude Devic
9 324 Ft

Frauenseelen

Gabriele Reuter
4 446 Ft

Mis peluches. Toca y escucha

MARION BILLET
6 248 Ft

Comte de Lavernie. Tome 3

Maquet-A
8 833 Ft

Viaje alucinante

Isaac Asimov
4 500 Ft