Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Leveraging Applications of Formal Methods, Verification and Validation. Modeling Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Autor: Tiziana Margaria, Bernhard Steffen
Język: Angielski
Oprawa: Miękka
Wydawca: Springer Nature Switzerland AG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
216.95 zł
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the...

Informacje o książce

Autor
Tiziana Margaria, Bernhard Steffen
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2018
strony
588
EAN
9783030034177
ISBN
3030034178
Enbook ID
20319259
Wydawca
Springer Nature Switzerland AG
Waga
914
Wymiary
155 x 235 x 34

Pełny opis

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.

Możesz być zainteresowany

Lawyering for the Rule of Law

Yoav Dotan
208.59 zł

Anne Of The Island

Lucy Maud Montgomery
81.22 zł

Redemption - Illusions, Images, Fantasies and Dreams

Dr Oreste R Rondinella
81.03 zł

Early Poems

James Hickson
128.95 zł

The Power of a Praying Nation

Stormie Omartian
57.66 zł

Truckee

Sherry E. Jennings
87.49 zł

Awaken your inner Tsunami: Adult Coloring Book

MS Garine H Bekearian
47.02 zł

THE JEWS OF BALTIMORE; AN HISTORICAL SUM

ISIDOR [FROM O BLUM
204.42 zł

Temple Lectures Of The Order Of The Magi: Delivered Before The Grand Temple Of The Order At Various Times

Olney H. Richmond
140.88 zł

Klienci, którzy kupili tę książkę, kupili również

Etude Sur l'Idiome Des Vedas Et Les Origines de la Langue Sanscrite. Premiere Partie

Regnier-A
72.37 zł

Los confines del reino

Antonio Ferres
55.17 zł

Fragmente zur Geschichte der Zartlichkeit aus den Briefen eines Liebenden

Johann Martin Miller
79.14 zł

Auftrag Kunst. Zur politischen Dimension der kulturellen Bildung

Andreas Brenne
82.12 zł

Elogio del quotidiano. Saggio sulla pittura olandese del XVII secolo

Tzvetan Todorov
94.45 zł