Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Tiziana Margaria
Libristo-code: 20319261
Uitgeverij Springer Nature Switzerland AG, oktober 2018
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the... Volledige beschrijving
? points 125 b
51.48 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Rundzelltumor Shailesh Kumar / Boek Gebonden (paperback)
common.buy 44.33 €
Bildermaus - Mit Bildern Englisch lernen - Delfingeschichten - Dolphin Stories Sabine Kraushaar / Boek Gebonden (harde band)
common.buy 8.55 €
Godland Martin Schäuble / Boek Gebonden (paperback)
common.buy 8.76 €
Ogres Dufour Emmanuel Dufour / Boek Gebonden (paperback)
common.buy 17.02 €
Anatomie fonctionnelle T2 7e éd. Kapandji / Boek Gebonden (paperback)
common.buy 61.05 €
Helmut Newton: Pola Woman Helmut Newton / Boek Gebonden (harde band)
common.buy 44.83 €
Voordelig
AZ Arany Szalamandra Donaszy Ferencz / Boek Gebonden (paperback)
common.buy 1.50 €
Polimernye truboprovody v teplojenergetike Vladimir Kiseljov / Boek Gebonden (paperback)
common.buy 63.77 €
Universidad, singularización y teoría de las artes GARCIA BERRIO / Boek Gebonden (paperback)
common.buy 57.52 €
Histoire Generale de Languedoc: T. 1 (Ed.1840-1846) Claude Devic / Boek Gebonden (paperback)
common.buy 26.59 €
Frauenseelen Gabriele Reuter / Boek Gebonden (paperback)
common.buy 11.58 €
Comte de Lavernie. Tome 3 Maquet-A / Boek Gebonden (paperback)
common.buy 25.18 €
Mis peluches. Toca y escucha MARION BILLET / Boek Gebonden (paperback)
common.buy 17.82 €
Viaje alucinante Isaac Asimov / Boek Gebonden (paperback)
common.buy 12.79 €
Earth Education Lars Wohlers / Boek Gebonden (paperback)
common.buy 6.84 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Auteur Tiziana Margaria, Bernhard Steffen
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2018
Aantal pagina's 522
EAN 9783030034238
ISBN 3030034232
Libristo-code 20319261
Uitgeverij Springer Nature Switzerland AG
Gewicht 813
Afmetingen 155 x 235 x 27

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling > Softwaretesten en softwareverificatie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

I'm fine.: A series of monologues at different stages of depression MR Bladimie Germain / Boek Gebonden (paperback)
common.buy 10.77 €
ESSAYS EXPLANATORY AND EXPERIMENTAL, UPO STEPHEN LOWRY / Boek Gebonden (harde band)
common.buy 31.53 €
Dwij William (Florida Atlantic U Boca Raton) Smith / Boek Gebonden (harde band)
common.buy 32.44 €
SKETCH OF THE LIFE OF SARAH B Anonymous / Boek Gebonden (harde band)
common.buy 29.61 €
Deconstructing Gurdjieff Tobias Churton / Boek Gebonden (harde band)
common.buy 27.50 €
Eros and Psyche Robert Bridges / Boek Gebonden (paperback)
common.buy 16.11 €
The Devil Made Me Do It: XXX Secret Diaries of A Very Bad Girl Lucie Goodman / Boek Gebonden (paperback)
common.buy 6.54 €
Taxpayer Privacy: A Guide for Screening and Assessing Proposals to Disclose Confidential Tax Information to Specific Parties for Specifi Government Accountability Office (U S ) / Boek Gebonden (paperback)
common.buy 15.71 €
Visitor Vehicle Emissions Study: Comparison of Traffic Data at Three California National Parks- Final Report National Park Service / Boek Gebonden (paperback)
common.buy 16.62 €
Aquaponics in Winter: How to Heat Your Aquaponic Garden in Cold Climate Timothy Tripp / Boek Gebonden (paperback)
common.buy 12.99 €
Advances in the Computer Simulatons of Liquid Crystals Paolo Pasini / Boek Gebonden (paperback)
common.buy 115.26 €
Family Survival Guide Mykel Hawke / Boek Gebonden (paperback)
common.buy 17.52 €
Solar Heating Systems for Houses Werner Weiss / Boek Gebonden (paperback)
common.buy 99.74 €
Germany's Russia Problem John Lough / Boek Gebonden (harde band)
common.buy 32.23 €
Catalogue of Atlanta University; 1900/01 Atlanta University / Boek Gebonden (paperback)
common.buy 16.31 €
Birds of Ecuador and the Galapagos Islands Murray Cooper / Boek Gebonden (paperback)
common.buy 19.03 €
Devised Theater's Collaborative Performance Telory D Arendell / Boek Gebonden (harde band)
common.buy 197.89 €
They Called It Peace – Worlds of Imperial Violence Lauren Benton / Boek Gebonden (harde band)
common.buy 31.83 €
The Complete Guide to the Bullmastiff Vanessa Richie / Boek Gebonden (paperback)
common.buy 20.24 €
The Elements of Coordinate Geometry Part-1 Cartesian Coordinates SL Loney / Boek Gebonden (paperback)
common.buy 52.29 €
Three and a Half Mermaids Anabelle Rose Lundy / Boek Gebonden (paperback)
common.buy 13.69 €
Thermo-Gas Dynamics of Hydrogen Combustion and Explosion Boris E. Gelfand / Boek Gebonden (paperback)
common.buy 235.57 €
SQL Server 2014 Richard Earp / Boek Gebonden (harde band)
common.buy 266.00 €
Environmental Modelling Jo Smith / Boek Gebonden (paperback)
common.buy 72.64 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?