Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Tiziana Margaria

Bernhard Steffen

Lingua

Inglese

Libro In brossura

Codice Libristo: 20319262

Casa editrice Springer Nature Switzerland AG, ottobre 2018

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

Codice Libristo: 20319262

118 b

48.29 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

AZILUL PROȘTILOR Daniel Tulea

In brossura

17.19 €

Irritation, Dissonanz, Fehler, Stoerung Frank Lachmann

In brossura

21.89 €

Les Portails de l' me ERIC LAMBERT

In brossura

20.99 €

Einstein Hainer Kober

Rigido

27.29 €

Heinz Ruhmann - Das Phanomen der kleine Mann Michael Bolz

In brossura

13.39 €

Jude Richard Cumberland

In brossura

11.69 €

Nálepkový atlas zvířat

In brossura

7.79 €

Correggio Roberto Longhi

In brossura

19.00 €

DISNEY - Mes Coloriages Magiques - Mystères - trompe l'oeil

In brossura

8.29 €

Bilder aus Niedersachsen Robert Kohlrausch

In brossura

6.69 €

LA CUISINE DU TENGU VOL.3 AI TANAKA

In brossura

9.89 €

Debate for Schools ANITA GAUR

In brossura

11.39 €

VERDAD CARE SANTOS

In brossura

12.59 €

Companeros 4 Podręcznik + licencia digital - nueva edicion Castro Francisca

In brossura

29.19 €

Die Anatomie des Pilates Abby Ellsworth

In brossura

9.49 €

L'Idee Individualiste Et l'Idee Chretienne: Etude Sur Le Fondement Du Droit Chretien Lorin-H

In brossura

12.69 €

Jom Tov Lipmann Heller (1578-1654) Joseph Davis

Foglio

16.99 €

Le Petit Point Bleu: French Version of a Spot of Blue Elaheh Bos

In brossura

13.89 €

Überleitungstabellen ICD-10/DSM-5 Horst Dilling

In brossura

17.79 €

9 histoires de Tom et Suzi à lire tout seul niveau 1 Sabine Hofmann

In brossura

13.89 €

Radkarte Lübecker Bucht, Wismar (RK-MV01) Esterbauer Verlag

Mappa

7.59 €

»Super«, schreit der Frieder, und die Oma kichert wieder Catharina Westphal

In brossura

7.39 €

Défi 5 (C1).Livre de l'él?ve + audio en ligne

In brossura

28.49 €

La bête humaine Émile Zola

binding.

20.79 €

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.