Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer
SKU: 50057537
Price: 80.1 EUR
Availability: InStock
Author: Ferruccio Damiani
ISBN: 9783032107947

20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings

Ferruccio Damiani

Marie Farrell

Taal

Engels

E-book Adobe ePub DRM

Uitgeverij Springer, november 2025

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Fo... Volledige beschrijving

Libristo-code: 50057537

194 b

80.10 €

Op voorraad Onmiddellijk te downloaden

Klanten kochten ook

Historia de las Enzimas Pedro Montilla López

Gebonden (paperback)

26.02 €

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025.The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Integrated Formal Methods

Auteur Ferruccio Damiani, Marie Farrell

Taal

Engels

Bindwijze E-book - Adobe ePub DRM

Datum van uitgifte 2025

EAN 9783032107947

Libristo-code 50057537

Uitgeverij Springer

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > 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