Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Formal Methods and Software Engineering

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

Language EnglishEnglish
Book Paperback
Book Formal Methods and Software Engineering Kazuhiro Ogata
Libristo code: 46820668
Publishers Springer, Berlin, November 2024
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Form... Full description
? points 197 b
81.32 €
159.05  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

(CAT).QUADERNS MATEMATIQUES 4. RESTES PORTANT-NE (CALCUL) Sousa Martín / Book Book
common.buy 7.68 € 15.03 лв
Ermittlung und Auswertung der Wünsche und Befürchtungen der Mitarbeiter eines Seniorenwohnheimes zur Reorganisation nach Erweiterungsbau Ines Rothe / Book Paperback
common.buy 40.50 € 79.22 лв
Kochanek przebudzony. Bractwo Czarnego Sztyletu. Tom 3 J.R Ward|J.R Ward / Book Paperback
common.buy 13.21 € 25.83 лв
Arabia Saudita Grace Edwards / Book Paperback
common.buy 30.18 € 59.03 лв
Ravensburger Puzzle 12000801 - Der Wasserfall im Red Canyon - 1500 Teile Puzzle für Erwachsene ab 14 Jahren / Game/Toy Game
common.buy 27.71 € 54.19 лв
Multi-Regime-Regulierung Britta Meinke / Book Paperback
common.buy 55.78 € 109.09 лв
CONTOS DO SER E NÇO SER CRUZ / Book Book
common.buy 20.17 € 39.45 лв
Pierwsze spotkanie / Kinra Girls Moka / Book Paperback
common.buy 7.17 € 14.02 лв
Gender Pay Gap Reiner Fattmann / Book Paperback
common.buy 30.29 € 59.24 лв
Metaphernforschung in interdisziplinären und interdiskursiven Perspektiven Roman Mikulas / Book Paperback
common.buy 146.86 € 287.23 лв
Simulation du broutement en fraisage par les lobes de stabilite Sami Allouache / Book Paperback
common.buy 57.38 € 112.22 лв
Jak vycvičit draka Mega aktivity collegium / Book Paperback
common.buy 6.45 € 12.61 лв
SARA ELORTZA ANTIA / Book Paperback
common.buy 27.24 € 53.28 лв
Catalogue de Livres Anciens Et Modernes Dans Tous Les Genres, Impressions Gothiques Emile Paul / Book Paperback
common.buy 15.48 € 30.27 лв
New Bridges 1re 2011 - Livre du professeur François Guary / Book Paperback
common.buy 24.46 € 47.83 лв

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods and Software Engineering
Author Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
Language English
Binding Book - Paperback
Date of issue 2025
Number of pages 397
EAN 9789819606160
Libristo code 46820668
Publishers Springer, Berlin
Weight 589
Dimensions 155 x 235

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Emerging Non-destructive Technologies for Food Quality Analysis C.K. Sunil / Book Hardback
common.buy 194.70 € 380.79 лв
Bayesian Theory and Methods with Applications Vladimir Savchuk / Book Hardback
common.buy 53.20 € 104.05 лв
Coming soon
Artificial Intelligence in Brain Disorders Pranav Kumar Prabhakar / Book Paperback
common.buy 179.78 € 351.63 лв
What If?: Into the Multiverse Omnibus Vol. 2 Ann Nocenti / Book Hardback
common.buy 124.67 € 243.83 лв
Grounded in the Garden: An Artist's Guide to Creating a Beautiful Garden in Harmony with Nature Jane Powers / Book Hardback
common.buy 26.57 € 51.97 лв
Michigan Freshwater Fishes: A Waterproof Folding Guide to Native and Introduced Species Matthew Morris / Book Paperback
common.buy 9.70 € 18.96 лв
Alex Da Corte: Mr. Remember DA CORTE ALEX / Book Hardback
common.buy 34.05 € 66.60 лв
Coming soon
COMPIEGNE DATES, FACTS AND FIGURES Perot / Book Paperback
common.buy 4.85 € 9.48 лв
Italy, During The Consulate And Empire Of Napoleon Buonaparte (1829) Carlo Botta / Book Paperback
common.buy 36.27 € 70.94 лв
Memoirs of Her Late Majesty Caroline V2 Part 1: Queen of Great Britain Robert Huish / Book Paperback
common.buy 36.27 € 70.94 лв
The Art of Healing: You've turned my mourning into dancing Mrs Tiwana Tucker / Book Paperback
common.buy 10.32 € 20.18 лв
Progress in Behavioral Social Work Bruce A. Thyer / Book Hardback
common.buy 200.01 € 391.19 лв
KIT CARSON, THE SCOUT: OR, THE KNIGHT OF EDWARD SYLVES ELLIS / Book Paperback
common.buy 18.37 € 35.92 лв
Ratchet Wives Club: Atlanta Edition N'Dia Rae / Book Paperback
common.buy 10.32 € 20.18 лв
British Warship Recognition: The Perkins Identification Albums Richard Perkins / Book Hardback
common.buy 87.36 € 170.86 лв
Hildegard of Bingen Fiona Maddocks / Book Paperback
common.buy 15.06 € 29.46 лв
Living with the European Union Dennis Kennedy / Book Hardback
common.buy 119.46 € 233.64 лв
Coming soon
GIS for Group Decision Making Timothy L. Nyerges / Book Hardback
common.buy 213.17 € 416.93 лв
Failure of Political Islam O Roy / Book Paperback
common.buy 32.56 € 63.68 лв
Counterpoint James A Huston / Book Paperback
common.buy 25.23 € 49.34 лв
The Cup of Destiny Jane Lyle / Book Paperback
common.buy 19.40 € 37.94 лв
Your Guide to Financial Freedom Brett Machtig / Book Paperback
common.buy 20.22 € 39.55 лв
The Virgin & the Strip Mall: and other essays on Amsterdam, the Mohawk Valley and upstate New York Daniel T Weaver / Book Paperback
common.buy 10.32 € 20.18 лв
A Digest of Laws Relating to the City of Philadelphia, from Its Territorial Extension, by the Act of Assembly, Approved February 2D, 1854, Until the David W Sellers / Book Paperback
common.buy 26.57 € 51.97 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?