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.

Formal Methods for Industrial Critical Systems

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods for Industrial Critical Systems Bernhard Steffen
Libristo-code: 49083337
Uitgeverij Springer-Verlag GmbH, oktober 2025
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Ind... Volledige beschrijving
? points 173 b
71.61 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

De lumière, d'or et de plomb Alexandre Cabot / Boek Gebonden (paperback)
common.buy 31.65 €
Die Wirkung von Stickoxid freisetzender Creme auf die Heilung von Druckgeschwüren Marziyeh Asadizaker / Boek Gebonden (paperback)
common.buy 25.89 €
Wordt verwacht
Els alicorns JANER MANILA / Boek Gebonden (paperback)
common.buy 7.48 €
COSMIC HIGHWAY 1000 PC PUZZLE IN SQUARE GALISON Boek Gebonden (harde band)
common.buy 16.38 €
??????? ?? / E-book Adobe ePub DRM
common.buy 5.45 €
Kirchlichkeit Und Religiosit�t in Ostmittel- Und Osteuropa Olaf Müller / Boek Gebonden (paperback)
common.buy 53.10 €
Arbres fourragers - De l'élevage paysan au respect de l'environnement Goust / Boek Gebonden (paperback)
common.buy 27.30 €
No niin! 2 CD. Suomea aikuisille Hanna Aho / Audio Audio cd
common.buy 81.42 €
Beskydy Údolím řeky Ostravice Petr Juřák / Boek Gebonden (harde band)
common.buy 10.71 €
Né rosa né celeste. Una fiaba per tutte le età Patrizia Rossini / Boek Gebonden (harde band)
common.buy 20.52 €
Virginia Woolf ou l'aventure intérieure Lee / Boek Gebonden (paperback)
common.buy 49.46 €
TOP
Mega-Nonogramm 05 Conceptis Puzzles / Boek Gebonden (paperback)
common.buy 14.35 €
rechtlichen Fragen der einvernehmlichen Aufloesung eines Arbeitsverhaltnisses Zaixing Ye / Boek Gebonden (paperback)
common.buy 47.23 €
Bleibt der jetzt für immer? Lauren Child / Boek Gebonden (harde band)
common.buy 13.54 €
Taschenlexikon der Schmetterlinge Europas, Die häufigsten Tagfalter im Porträt Wolfgang Willner / Boek Gebonden (harde band)
common.buy 23.76 €
TOP Wordt verwacht
Gin Tama 37 Hideaki Sorachi / Boek Gebonden (paperback)
common.buy 7.78 €
Morgen-Glantz 23/2013 Rosmarie Zeller / Boek Gebonden (paperback)
common.buy 120.37 €
Liberalisme Et Etat de Droit Jacques Bidet / Boek Gebonden (paperback)
common.buy 42.37 €
Aah-ja! Wolf Biermann / Audio Audio cd
common.buy 16.88 €
Hit Session. Tl.8 / Drukwerk Bladmuziek
common.buy 39.85 €

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27 28, 2025.
The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems

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 Formal Methods for Industrial Critical Systems
Auteur Bernhard Steffen
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2025
Aantal pagina's 286
EAN 9783032009418
ISBN 3032009413
Libristo-code 49083337
Uitgeverij Springer-Verlag GmbH
Gewicht 435

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
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

Students Guide to American Political Thought George W Carey / Boek Gebonden (paperback)
common.buy 10.61 €
Apartment 14F C.M. Saunders / Boek Gebonden (paperback)
common.buy 10.31 €
Seek-And-Find Scavenger Hunt Cards (2-Deck Pack) / Spel/speelgoed Spel
common.buy 11.72 €
Pun Intended Paperback Gift Book / Boek Gebonden (paperback)
common.buy 9.20 €
Spinal Cord Injury Blessen Eapen / Boek Gebonden (harde band)
common.buy 149.10 €
Remake the World Astra Taylor / Boek Gebonden (paperback)
common.buy 18.50 €
Welcoming the Future Church Jonathan Pokluda / Boek Gebonden (paperback)
common.buy 18.40 €
The Legends of Saint Patrick Aubrey De Vere / Boek Gebonden (paperback)
common.buy 12.03 €
Called to Counsel: A Practical Manual for All Faith-Based Counselors Rev Juan M Perez / Boek Gebonden (paperback)
common.buy 11.22 €
Virtual Simulation in Nursing Education Randy Gordon / Boek Gebonden (paperback)
common.buy 94.88 €
Dream Home Anthony Alofsin / Boek Gebonden (paperback)
common.buy 27.40 €
Wehman Bros - Tricks With Coins Or Modern Coin Manipulation T. Nelson Downs / Boek Gebonden (paperback)
common.buy 24.77 €
Genealogical and Family History of Northern New York. A Record of the Achievements of Her People in the Making of a Commonwealth and the Founding of a William Richard Cutter / Boek Gebonden (paperback)
common.buy 59.77 €
Tractates on the Gospel of John, 28-54 Saint Augustine / Boek Gebonden (paperback)
common.buy 50.37 €
Secreta Monita Societatis Jesu: Secret Instructions Of The Jesuits, To Which Is Prefixed An Historical Essay William M'Gavin / Boek Gebonden (paperback)
common.buy 27.81 €
Algebra for Cryptologists Alko R. Meijer / Boek Gebonden (harde band)
common.buy 65.54 €
Bird Trapping and Bird Banding Hans Bub / Boek Gebonden (paperback)
common.buy 72.82 €
Exploration of Cortical Function Martin Stetter / Boek Gebonden (paperback)
common.buy 183.49 €
Tomboys Michelle Ann Abate / Boek Gebonden (paperback)
common.buy 33.57 €
British Economy in Transition Royce Turner / Boek Gebonden (paperback)
common.buy 92.85 €
Anger in the Bosom of our Children Evans / Boek Gebonden (paperback)
common.buy 8.39 €

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?