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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Provably Correct Systems

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Provably Correct Systems Mike Hinchey
Libristo-code: 14441278
Uitgeverij Springer International Publishing AG, maart 2017
As computers increasingly control the systems and services we depend upon within our daily lives lik... Volledige beschrijving
? points 249 b
101.83 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Gnade Linn Ullmann / Boek Gebonden (paperback)
common.buy 8.19 €
Verhaltnis von Kunst und Politik Carsten Lincke / Boek Gebonden (paperback)
common.buy 16.90 €
Diagnóstico ecográfico transvaginal de la adenomiosis Silke Dyer / Boek Gebonden (paperback)
common.buy 35.30 €
Vergnügungsreisen Paul Lindau / Boek Gebonden (paperback)
common.buy 30.90 €
Au secours la joie ! Bérard / Boek Gebonden (paperback)
common.buy 23.80 €
Praxis Der Induktiven Warmbehandlung Kurt Kegel / Boek Gebonden (paperback)
common.buy 52.51 €
Duetos CL Javier Marco / Boek Gebonden (paperback)
common.buy 12.00 €
Le philosophe et ses pauvres Rancière / Boek Gebonden (paperback)
common.buy 14.60 €
Infecciones, vacunas y enfermedad inflamatoria intestinal Elena . . . [et al. ] Ricart Gómez / Boek Gebonden (paperback)
common.buy 19.20 €
Morike-Storm Briefwechsel (1891) Jakob Baechtold / Boek Gebonden (paperback)
common.buy 20.10 €
Maison Aux Sept Pignons: Roman Americain (Ed.1876) Hawthorne N / Boek Gebonden (paperback)
common.buy 26.40 €
Curación de contenidos: La guía para emprendedores (y bloggers) ocupados Alex Kei / Boek Gebonden (paperback)
common.buy 12.00 €
Romány tří mágů Jiří Karásek ze Lvovic / Boek Gebonden (harde band)
common.buy 12.90 €

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail. The following topics are covered: A historical account of the ProCoS project Hybrid Systems Correctness of Concurrent Algorithms Interfaces and Linking Automatic Verification Run-time Assertions Checking Formal and Semi-Formal Methods Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.

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 Provably Correct Systems
Auteur Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2017
Aantal pagina's 328
EAN 9783319486277
ISBN 3319486276
Libristo-code 14441278
Uitgeverij Springer International Publishing AG
Gewicht 831
Afmetingen 155 x 235 x 21

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
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

Designing Quality Authentic Assessments Singapore) Tay Hui Yong (National Institute of Education / Boek Gebonden (paperback)
common.buy 61.01 €
Die Hexen von London - Lars Aleksandr Voinov / E-book Adobe ePub DRM
common.buy 5.39 €
eTEP Hernia Repairs Ramana Balasubramaniam / Boek Gebonden (harde band)
common.buy 198.97 €
Makebelieve Joey LeTourneau / Boek Gebonden (harde band)
common.buy 16.50 €
Whims And Oddities, In Prose And Verse. The Two Ser. Complete Thomas Hood / Boek Gebonden (paperback)
common.buy 18.20 €
Red Prelude: The Life Of The Russian Terrorist, Zhelyabov David Footman / Boek Gebonden (paperback)
common.buy 30.40 €
Annual Report... United States Internal Revenue Service / Boek Gebonden (paperback)
common.buy 19.00 €
Sex Positions: 50 Best Sex Positions for Couples - An Illustrated Sex Positions Book Joshua Matthew / Boek Gebonden (paperback)
common.buy 13.20 €
law of animals John H. Ingham / Boek Gebonden (paperback)
common.buy 36.50 €
Absolute Poverty in Europe Helmut Gaisbauer / Boek Gebonden (harde band)
common.buy 130.64 €
The Triumphs of Eugene Valmont Robert Barr / Boek Gebonden (paperback)
common.buy 14.60 €
Wordt verwacht
250 Years Mapmaking In Surrey William Ravenhill / Boek Gebonden (paperback)
common.buy 55.41 €
PODC 16 ACM Symposium On Principles of Distributed Computing PODC 16 CONFERENCE C / Boek Gebonden (paperback)
common.buy 135.05 €
IN OLD HADLEY MARSH / Boek Gebonden (harde band)
common.buy 26.60 €
The Best of Roald Dahl Roald Dahl / Boek Gebonden (paperback)
common.buy 14.30 €
Robert of Brunne's Handlyng Synne Robert of Brunne / Boek Gebonden (harde band)
common.buy 70.42 €
Oriental Interpreter and Treasury of East India Knowledge J H Stocqueler / Boek Gebonden (paperback)
common.buy 25.60 €
Those We Leave Behind George D Schultz / Boek Gebonden (paperback)
common.buy 23.80 €
Dream Tales and Prose Poems Ivan Turgenev / Boek Gebonden (paperback)
common.buy 17.20 €
Black Cat's Legacy Elaine M. Faber / Boek Gebonden (paperback)
common.buy 12.70 €
Little Church in the Wildwood Terry Keeling / Boek Gebonden (paperback)
common.buy 20.90 €

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?