Code: 49786071
Formal Methods and Software Engineering
by Jingyi Wang, Naijun Zhan
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10 13, 2025.The 20 full papers presented were ... more
- Language:
English - Binding: Paperback
- Number of pages: 416
Publisher: Springer-Verlag GmbH, 2025
- More about this
76.06 €
RRP: 82.44 €
You save 6.38 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Matematická cvičení pro střední školy
10.38 € -4 % -
Climbing High
13.91 € -17 % -
Philosophiae Naturalis Principia Mathematica (1822)
37.22 € -1 % -
One Wish and One Wish To Give
11.29 € -25 % -
Coup d'Oeil Sur Les Deux Epidemies de Cholera Asiatique Qui Ont Sevi A Etampes
14.72 € -2 % -
Nous n'avons pas abandonné We gaven niet op: Livre d'images pour enfants Français-Néerlandais (Édition bilingue) (www.rich.center)
10.78 € -6 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Formal Methods and Software Engineering
You get 185 loyalty points
Book synopsis
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10 13, 2025.
The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.
Book details
Book category Books in German Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik
76.06 €
- Full title: Formal Methods and Software Engineering
- Author: Jingyi Wang, Naijun Zhan
- Language: English
- Binding: Paperback
- Number of pages: 416
- EAN: 9789819542123
- ISBN: 981954212X
- ID: 49786071
- Publisher: Springer-Verlag GmbH
- Weight: 628 g
- Dimensions: 235 × 155 mm
- Date of publishing: 06. December 2025
Trending among others
-
AI Engineering
54.37 € -27 % -
Python Crash Course, 3rd Edition
34.49 € -28 % -
Empire of AI
15.93 € -29 % -
CCNA 200-301 Official Cert Guide Library
66.88 € -9 % -
Making of Prince of Persia
16.84 € -24 % -
Hands-On Large Language Models
55.98 € -25 % -
Deep Learning with Pytorch, Second Edition
55.17 € -2 % -
An Oral History of the Scaling Era
25.01 € -25 % -
Nexus
24.61 € -28 % -
Engineering Management for the Rest of Us
13.41 € -24 % -
Make Games with Python
13.41 € -24 % -
Animal Crossing: Volume 33
12 € -24 % -
Game Programming with Unity and C#: A Complete Beginner's Guide
42.26 € -24 % -
AI for Good
14.11 € -29 % -
Movavi Video Editor 2025 Guidebook
14.01 € -7 % -
HBR Guide to Generative AI for Managers
15.93 € -29 % -
The Art of Doing Science and Engineering
25.01 € -25 % -
Build a Large Language Model (from Scratch)
55.17 € -2 % -
Hands-On Machine Learning with Scikit-Learn, Keras, and TensorFlow
63.25 € -24 % -
The Software Engineer's Guidebook
34.49 € -2 % -
Learning Domain-Driven Design
46.30 € -25 % -
If Anyone Builds It, Everyone Dies
14.42 € -29 % -
Designing Machine Learning Systems
46.30 € -25 % -
Software Architecture: The Hard Parts
55.98 € -25 % -
What Is Intelligence?
25.92 € -28 % -
AI Snake Oil
12.70 € -24 % -
Love Machines
12.40 € -28 % -
Agentic Design Patterns
50.43 € -9 % -
Hands-On Machine Learning with Scikit-Learn and Pytorch
62.84 € -25 % -
Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition
63.65 € -2 % -
The Art of Statistics: How to Learn from Data
16.84 € -24 % -
The Developer's Guide to AI
42.26 € -24 % -
Elegant Puzzle
25.01 € -25 % -
Certified Information Security Manager CISM Study Guide
44.28 € -26 % -
Canva From Beginner to Pro
14.92 € -6 % -
The Nature of Code
28.24 € -29 % -
Mathletics
20.27 € -24 % -
Deep Utopia
23.70 € -24 % -
Large Language Models: The Hard Parts
56.18 € -24 % -
Automate the Boring Stuff with Python, 3rd Edition
42.36 € -29 % -
Serious Cryptography, 2nd Edition
29.35 € -48 % -
Minecraft: Guide to Redstone (Updated)
10.58 € -25 % -
Kubernetes in Action
58 € -9 % -
A Thousand Brains
16.84 € -14 % -
Genesis
15.02 € -13 % -
Data Engineering Design Patterns
54.37 € -27 % -
How AI Thinks
12.80 € -13 % -
Data Modeling with Microsoft Power Bi
49.12 € -24 % -
Software Architecture Fundamentals
49.73 € -4 %
Collection points Bratislava a 12730 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25464 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)