Kód: 49786071
Formal Methods and Software Engineering
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 416
Nakladateľ: Springer-Verlag GmbH, 2025
- Viac informácií o knihe
76.18 €
Bežne: 82.58 €
Ušetríte 6.39 €
Skladom u dodávateľa
Odosielame za 5 - 8 dní
Mohlo by sa vám tiež páčiť
-
Matematická cvičení pro střední školy
10.40 € -4 % -
Climbing High
13.94 € -17 % -
Philosophiae Naturalis Principia Mathematica (1822)
37.28 € -1 % -
One Wish and One Wish To Give
11.31 € -25 % -
Nous n'avons pas abandonné We gaven niet op: Livre d'images pour enfants Français-Néerlandais (Édition bilingue) (www.rich.center)
10.80 € -6 % -
Coup d'Oeil Sur Les Deux Epidemies de Cholera Asiatique Qui Ont Sevi A Etampes
14.74 € -2 %
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Formal Methods and Software Engineering
Nákupom získate 185 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik
76.18 €
- Celý názov: Formal Methods and Software Engineering
- Autor: Jingyi Wang, Naijun Zhan
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 416
- EAN: 9789819542123
- ISBN: 981954212X
- ID: 49786071
- Nakladateľ: Springer-Verlag GmbH
- Hmotnosť: 628 g
- Rozmery: 235 × 155 mm
- Dátum vydania: 06. December 2025
Obľúbené z iného súdka
-
Python Crash Course, 3rd Edition
34.45 € -29 % -
AI Engineering
55.47 € -26 % -
Empire of AI
15.55 € -29 % -
The Art of Doing Science and Engineering
25.76 € -23 % -
If Anyone Builds It, Everyone Dies
14.44 € -29 % -
CCNA 200-301 Official Cert Guide Library
66.99 € -9 % -
Making of Prince of Persia
18.18 € -21 % -
Hands-On Machine Learning with Scikit-Learn, Keras, and TensorFlow 3e
73.96 € -11 % -
Learning Domain-Driven Design
46.37 € -25 % -
AI Snake Oil
12.72 € -24 % -
Software Architecture: The Hard Parts
56.07 € -25 % -
The Software Engineer's Guidebook
34.55 € -2 % -
Hands-On Machine Learning with Scikit-Learn and Pytorch
62.95 € -25 % -
Elegant Puzzle
25.05 € -25 % -
What Is Intelligence?
25.96 € -28 % -
Agentic Design Patterns
50.52 € -9 % -
Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition
63.75 € -2 % -
The Nature of Code
27.58 € -29 % -
Expert Data Modeling with Power BI - Second Edition
55.27 € -2 % -
Large Language Models: The Hard Parts
63.35 € -25 % -
The Art of Statistics: How to Learn from Data
16.87 € -24 % -
AI Systems Performance Engineering
69.82 € -25 % -
The Age of AI: And Our Human Future
14.74 € -25 % -
Prompt Engineering for Llms
54.46 € -27 % -
Rust Atomics and Locks
39.50 € -25 % -
Building Machine Learning Systems with a Feature Store
56.07 € -25 % -
Microsoft Power Bi Data Analyst Associate Study Guide
42.33 € -24 % -
Generative AI on Kubernetes
42.33 € -24 % -
Clean Code with C# - Second Edition
48.09 € -1 % -
Python in a Nutshell
67.90 € -19 % -
Modern Approach to C Programming
37.78 € -
File System Forensics
127.22 € -1 % -
Domain-Specific Small Language Models
55.27 € -2 % -
Automate the Boring Stuff with Python, 3rd Edition
41.12 € -29 % -
Build a Large Language Model (from Scratch)
55.27 € -2 % -
Designing Machine Learning Systems
46.37 € -25 % -
How To Think About AI
11.81 € -25 % -
Serious Cryptography, 2nd Edition
41.22 € -27 % -
Minecraft: Guide to Redstone (Updated)
10.60 € -25 % -
An Oral History of the Scaling Era
25.05 € -25 % -
Hands-On Large Language Models
54.46 € -27 % -
Advanced Roblox Coding Book: An Unofficial Guide, Updated Edition
11.81 € -25 % -
Rust For Rustaceans
34.55 € -29 % -
Kubernetes in Action
57.99 € -9 % -
A Thousand Brains
16.87 € -14 % -
Databricks Certified Data Engineer Associate Study Guide
54.46 € -27 % -
Software Architecture Fundamentals
49.81 € -4 % -
Mathletics
19.59 € -24 % -
Data Structures The Fun Way
27.58 € -29 %
Osobný odber Bratislava a 12820 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)