Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Books in English > Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification > Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

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

Tiziana Margaria

Bernhard Steffen

Language

English

Book Paperback

Libristo code: 20319261

Publishers Springer Nature Switzerland AG, October 2018

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the... Full description

Libristo code: 20319261

118 b

48.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

AZ Arany Szalamandra Donaszy Ferencz

Paperback

1.49 €

Bildermaus - Mit Bildern Englisch lernen - Delfingeschichten - Dolphin Stories Sabine Kraushaar

Hardback

7.95 €

Godland Martin Schäuble

Paperback

9.90 €

Ogres Dufour Emmanuel Dufour

Paperback

15.19 €

Rundzelltumor Shailesh Kumar

Paperback

49.90 €

Anatomie fonctionnelle T2 7e éd. Kapandji

Paperback

52.69 €

Helmut Newton: Pola Woman Helmut Newton

Hardback

38.69 €

Polimernye truboprovody v teplojenergetike Vladimir Kiseljov

Paperback

59.59 €

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

Paperback

46.69 €

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

Paperback

23.89 €

Frauenseelen Gabriele Reuter

Paperback

12.80 €

Comte de Lavernie. Tome 3 Maquet-A

Paperback

22.59 €

Mis peluches. Toca y escucha MARION BILLET

Paperback

15.09 €

Viaje alucinante Isaac Asimov

Paperback

10.79 €

Earth Education Lars Wohlers

Paperback

7.50 €

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.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

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

Author Tiziana Margaria, Bernhard Steffen

Language

English

Binding Book - Paperback

Date of issue 2018

Number of pages 522

EAN 9783030034238

ISBN 3030034232

Libristo code 20319261

Publishers Springer Nature Switzerland AG

Weight 813

Dimensions 155 x 235 x 27

You might also be interested in

I'm fine.: A series of monologues at different stages of depression MR Bladimie Germain

Paperback

9.09 €

ESSAYS EXPLANATORY AND EXPERIMENTAL, UPO STEPHEN LOWRY

Hardback

26.69 €

Dwij William (Florida Atlantic U Boca Raton) Smith

Hardback

27.49 €

SKETCH OF THE LIFE OF SARAH B Anonymous

Hardback

25.09 €

Deconstructing Gurdjieff Tobias Churton

Hardback

23.99 €

The Devil Made Me Do It: XXX Secret Diaries of A Very Bad Girl Lucie Goodman

Paperback

5.49 €

Taxpayer Privacy: A Guide for Screening and Assessing Proposals to Disclose Confidential Tax Information to Specific Parties for Specifi Government Accountability Office (U S )

Paperback

13.19 €