Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Kurier DPD 4.99 € Kurier Hermes 5.49 € Kurier DHL 4.49 € Punkt Hermes 4.99 € Punkt DPD 3.49 € Kurier GLS 5.49 €

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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

Tiziana Margaria

Bernhard Steffen

Język

Angielski

Książka Miękka

Kod Libristo: 20319261

Wydawnictwo Springer Nature Switzerland AG, październik 2018

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the... Cały opis

Kod Libristo: 20319261

132 b

53.79 € včetně DPH

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Rundzelltumor Shailesh Kumar

Miękka

49.90 €

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

Twarda

7.95 €

Godland Martin Schäuble

Miękka

10.90 €

Ogres Dufour Emmanuel Dufour

Miękka

17.29 €

Anatomie fonctionnelle T2 7e éd. Kapandji

Miękka

57.79 €

Karácsonyi kalandok Tesz-vesz városban Richard Scarry

Twarda

11.89 €

Helmut Newton: Pola Woman Helmut Newton

Twarda

42.39 €

AZ Arany Szalamandra Donaszy Ferencz

Miękka

14.99 €

Polimernye truboprovody v teplojenergetike Vladimir Kiseljov

Miękka

66.99 €

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

Miękka

54.49 €

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

Miękka

26.69 €

Frauenseelen Gabriele Reuter

Miękka

12.80 €

Comte de Lavernie. Tome 3 Maquet-A

Miękka

25.29 €

Mis peluches. Toca y escucha MARION BILLET

Miękka

15.59 €

Viaje alucinante Isaac Asimov

Miękka

12.09 €

Earth Education Lars Wohlers

Miękka

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Autor Tiziana Margaria, Bernhard Steffen

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2018

Liczba stron 522

EAN 9783030034238

ISBN 3030034232

Kod Libristo 20319261

Wydawnictwo Springer Nature Switzerland AG

Waga 813

Wymiary 155 x 235 x 27

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Study Guide for Amy Lowell's Lilacs Cengage Learning Gale

Miękka

11.89 €

Hannibal Breaks His Promise Vicki Diane Westling

Miękka

11.59 €

Reconstructing vegetation diversity in coastal landscapes Mans Schepers

Miękka

53.29 €

ESSAYS EXPLANATORY AND EXPERIMENTAL, UPO STEPHEN LOWRY

Twarda

32.09 €

Dwij William (Florida Atlantic U Boca Raton) Smith

Twarda

33.09 €

SKETCH OF THE LIFE OF SARAH B Anonymous

Twarda

30.19 €

Deconstructing Gurdjieff Tobias Churton

Twarda

26.80 €

Eros and Psyche Robert Bridges

Miękka

16.89 €

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

Miękka

6.59 €

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

Miękka

15.89 €