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 and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods and Software Engineering Kazuhiro Ogata
Libristo-code: 46820668
Uitgeverij Springer, Berlin, november 2024
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Form... Volledige beschrijving
? points 187 b
77.37 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Metaphernforschung in interdisziplinären und interdiskursiven Perspektiven Roman Mikulas / Boek Gebonden (paperback)
common.buy 147.66 €
(CAT).QUADERNS MATEMATIQUES 4. RESTES PORTANT-NE (CALCUL) Sousa Martín / Boek Boek
common.buy 7.48 €
Catalogue de Livres Anciens Et Modernes Dans Tous Les Genres, Impressions Gothiques Emile Paul / Boek Gebonden (paperback)
common.buy 15.59 €
SARA ELORTZA ANTIA / Boek Gebonden (paperback)
common.buy 27.13 €
Pierwsze spotkanie / Kinra Girls Moka / Boek Gebonden (paperback)
common.buy 6.88 €
CONTOS DO SER E NÇO SER CRUZ / Boek Boek
common.buy 19.64 €
Ravensburger Puzzle 12000801 - Der Wasserfall im Red Canyon - 1500 Teile Puzzle für Erwachsene ab 14 Jahren / Spel/speelgoed Spel
common.buy 26.32 €
Kochanek przebudzony. Bractwo Czarnego Sztyletu. Tom 3 J.R Ward|J.R Ward / Boek Gebonden (paperback)
common.buy 12.45 €

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.

The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods

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 and Software Engineering
Auteur Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2025
Aantal pagina's 397
EAN 9789819606160
Libristo-code 46820668
Uitgeverij Springer, Berlin
Gewicht 589
Afmetingen 155 x 235

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
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

Emerging Non-destructive Technologies for Food Quality Analysis C.K. Sunil / Boek Gebonden (harde band)
common.buy 185.34 €
Living with the European Union Dennis Kennedy / Boek Gebonden (harde band)
common.buy 119.81 €
Grounded in the Garden: An Artist's Guide to Creating a Beautiful Garden in Harmony with Nature Jane Powers / Boek Gebonden (harde band)
common.buy 23.28 €
Michigan Freshwater Fishes: A Waterproof Folding Guide to Native and Introduced Species Matthew Morris / Boek Gebonden (paperback)
common.buy 8.70 €
Alex Da Corte: Mr. Remember DA CORTE ALEX / Boek Gebonden (harde band)
common.buy 34.12 €
COMPIEGNE DATES, FACTS AND FIGURES Perot / Boek Gebonden (paperback)
common.buy 5.76 €
Italy, During The Consulate And Empire Of Napoleon Buonaparte (1829) Carlo Botta / Boek Gebonden (paperback)
common.buy 36.45 €
KIT CARSON, THE SCOUT: OR, THE KNIGHT OF EDWARD SYLVES ELLIS / Boek Gebonden (paperback)
common.buy 18.42 €
Ratchet Wives Club: Atlanta Edition N'Dia Rae / Boek Gebonden (paperback)
common.buy 10.32 €
Counterpoint James A Huston / Boek Gebonden (paperback)
common.buy 27.84 €
Bayesian Theory and Methods with Applications Vladimir Savchuk / Boek Gebonden (harde band)
common.buy 50.63 €

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?