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-Verlag GmbH
SKU: 49776569
Price: 68.04 EUR
Availability: InStock
Author: Marie Farrell
ISBN: 9783032107930

Marie Farrell

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 49776569

Uitgeverij Springer-Verlag GmbH, januari 2026

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

Libristo-code: 49776569

165 b

68.04 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Dit vind je misschien ook interessant

Kay Nielsen. East of the Sun and West of the Moon Noel Daniel

Gebonden (harde band)

29.82 €

Hokuei: Masterpieces of Japanese Actor Prints John Fiorillo

Gebonden (harde band)

57.83 €

Kids, Wait Till You Hear This! Liza Minnelli

Gebonden (paperback)

16.27 €

Homosexuality, Transidentity, and Islam Adi Bharat

Gebonden (paperback)

65.82 €

Manual For Submarine Mining

Gebonden (paperback)

17.18 €

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 Marie Farrell

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2026

Aantal pagina's 536

EAN 9783032107930

ISBN 3032107938

Libristo-code 49776569

Uitgeverij Springer-Verlag GmbH

Gewicht 803

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