Darmowa dostawa dla zamówień powyżej 299,00 zł.

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

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Książki w języku angielskim > Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Name: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Brand: Springer
SKU: 41009441
Price: 434.34 PLN
Availability: InStock
Author: Tiziana Margaria
ISBN: 9783030613624

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Tiziana Margaria

Bernhard Steffen

Język

Angielski

E-book Adobe ePub DRM

Kod Libristo: 41009441

Wydawnictwo Springer, październik 2020

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th Internationa... Cały opis

Kod Libristo: 41009441

242 b

434.34 zł

Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

Jeux a trois Bell

MP3

44.97 zł

Křídločky Ursula K. Le Guinová

Karta

75.99 zł

KUNTH Konnichiwa Japan Jutta M. Ingala

Twarda

113.69 zł

Unterschiedliche Wege der Corporate-Governance-Reform nach der Krise von 1997 Agnes Balajti

Miękka

189.28 zł

Resumen Y Analisis: Las Mujeres Que Aman Demasiado (Women Who Love Too Much) - Basado En El Libro Escrito Por Robin Norwood Instabooks Editorial

Adobe ePub DRM

44.77 zł

Active Listening: Improve Your Ability to Listen and Lead, First Edition (Chinese) Michael H. Hoppe

Adobe ePub DRM

76.51 zł

Dans les pas de Guillaume Apollinaire Marion Augustin

Twarda

155.28 zł

Transformers Marvel UK nº 04/08 AA. VV.

Twarda

173.15 zł

Codeswitching als Mehrsprachigkeitspraxis in der universitaeren Kommunikation H‪eike Havermeier

Twarda

358.75 zł

Prognose- und Informationssysteme und ihre Anwendungen Rudolf Lewandowsky

Twarda

774.81 zł

Diseño de biorrefineria aplicando integración energética de procesos Samir Meramo

Miękka

212.39 zł

Judentum und Konfession in der Geschichte der deutschsprachigen Ägyptologie Thomas L. Gertzen

Twarda

483.84 zł

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. 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, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.