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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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 187 b
77.42 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Metaphernforschung in interdisziplinären und interdiskursiven Perspektiven Roman Mikulas / Book Paperback
common.buy 140.66 €
New Bridges 1re 2011 - Livre du professeur François Guary / Book Paperback
common.buy 24.31 €
Catalogue de Livres Anciens Et Modernes Dans Tous Les Genres, Impressions Gothiques Emile Paul / Book Paperback
common.buy 15.60 €
SARA ELORTZA ANTIA / Book Paperback
common.buy 27.05 €
Jak vycvičit draka Mega aktivity collegium / Book Paperback
common.buy 6.17 €
Simulation du broutement en fraisage par les lobes de stabilite Sami Allouache / Book Paperback
common.buy 54.41 €
Pierwsze spotkanie / Kinra Girls Moka / Book Paperback
common.buy 6.78 €
Gender Pay Gap Reiner Fattmann / Book Paperback
common.buy 28.67 €
(CAT).QUADERNS MATEMATIQUES 4. RESTES PORTANT-NE (CALCUL) Sousa Martín / Book Book
common.buy 6.68 €
CONTOS DO SER E NÇO SER CRUZ / Book Book
common.buy 17.93 €
Kochanek przebudzony. Bractwo Czarnego Sztyletu. Tom 3 J.R Ward|J.R Ward / Book Paperback
common.buy 12.46 €
Multi-Regime-Regulierung Britta Meinke / Book Paperback
common.buy 53.20 €

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 185.45 €
Italy, During The Consulate And Empire Of Napoleon Buonaparte (1829) Carlo Botta / Book Paperback
common.buy 36.47 €
Coming soon
Artificial Intelligence in Brain Disorders Pranav Kumar Prabhakar / Book Paperback
common.buy 173.49 €
Top
Grounded in the Garden: An Artist's Guide to Creating a Beautiful Garden in Harmony with Nature Jane Powers / Book Hardback
common.buy 26.85 €
Michigan Freshwater Fishes: A Waterproof Folding Guide to Native and Introduced Species Matthew Morris / Book Paperback
common.buy 9.72 €
Alex Da Corte: Mr. Remember DA CORTE ALEX / Book Hardback
common.buy 34.14 €
COMPIEGNE DATES, FACTS AND FIGURES Perot / Book Paperback
common.buy 5.67 €
Bayesian Theory and Methods with Applications Vladimir Savchuk / Book Hardback
common.buy 50.66 €
Progress in Behavioral Social Work Bruce A. Thyer / Book Hardback
common.buy 192.14 €
KIT CARSON, THE SCOUT: OR, THE KNIGHT OF EDWARD SYLVES ELLIS / Book Paperback
common.buy 18.43 €
Ratchet Wives Club: Atlanta Edition N'Dia Rae / Book Paperback
common.buy 10.33 €
Your Guide to Financial Freedom Brett Machtig / Book Paperback
common.buy 20.26 €
Living with the European Union Dennis Kennedy / Book Hardback
common.buy 114.71 €
Failure of Political Islam O Roy / Book Paperback
common.buy 32.72 €
Counterpoint James A Huston / Book Paperback
common.buy 25.33 €
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.64 €
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.33 €
British Warship Recognition: The Perkins Identification Albums Richard Perkins / Book Hardback
common.buy 83.09 €

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?